External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Petri Net Security Checker: Structural Non-interference at Work

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]

Authors

Simone Frau

This author has not been identified. Look up 'Simone Frau' in Google

Roberto Gorrieri

This author has not been identified. Look up 'Roberto Gorrieri' in Google

Carlo Ferigato

This author has not been identified. Look up 'Carlo Ferigato' in Google
runs on