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]
Abstract is missing.