LinKT89'

BibTeX

@inproceedings{DBLP:conf/dbsec/LinKT89,
  author    = {Tsau Young Lin and
               Larry Kerschberg and
               Robert P. Trueblood},
  title     = {Security Algebras and Formal Models: Using Petri Net Theory},
  booktitle = {DBSec},
  year      = {1989},
  pages     = {75-96},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}