Simone Frau, Roberto Gorrieri, Carlo Ferigato. Petri Net Security Checker: Structural Non-interference at Work. In Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli, editors, Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Volume 5491 of Lecture Notes in Computer Science, pages 210-225, Springer, 2008. [doi]
@inproceedings{FrauGF08,
title = {Petri Net Security Checker: Structural Non-interference at Work},
author = {Simone Frau and Roberto Gorrieri and Carlo Ferigato},
year = {2008},
doi = {10.1007/978-3-642-01465-9_14},
url = {http://dx.doi.org/10.1007/978-3-642-01465-9_14},
tags = {security},
researchr = {https://researchr.org/publication/FrauGF08},
cites = {0},
citedby = {0},
pages = {210-225},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
editor = {Pierpaolo Degano and Joshua D. Guttman and Fabio Martinelli},
volume = {5491},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
}