Security Algebras and Formal Models: Using Petri Net Theory - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Tsau Young Lin, Larry Kerschberg, Robert P. Trueblood. Security Algebras and Formal Models: Using Petri Net Theory. In DBSec. pages 75-96, 1989.

@inproceedings{LinKT89,
  title = {Security Algebras and Formal Models: Using Petri Net Theory},
  author = {Tsau Young Lin and Larry Kerschberg and Robert P. Trueblood},
  year = {1989},
  tags = {security,  algebra},
  researchr = {https://researchr.org/publication/LinKT89},
  cites = {0},
  citedby = {0},
  pages = {75-96},
  booktitle = {DBSec},
}

runs on WebDSL