Petri Net Security Checker: Structural Non-interference at Work-Reference-Cited by-同舟云学术

Petri Net Security Checker: Structural Non-interference at Work

Published:2009 Issue: Volume: Page:210-225
ISSN:0302-9743
Container-title:Formal Aspects in Security and Trust
language:
Short-container-title:

Author:

Frau Simone,Gorrieri Roberto,Ferigato Carlo

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-01465-9_14

Reference19 articles.

1. Lecture Notes in Computer Science;N. Busi,2004

2. Lecture Notes in Computer Science;N. Busi,2004

3. Busi, N., Gorrieri, R.: Structural Non-Interference in Elementary and Trace Nets. In: Mathematical Structures in Computer Science (2008) (accepted for publication) (2008/4/3), http://www.cs.unibo.it/~gorrieri/Papers/bg08.ps

4. Brooks, S.D., Hoare, C.A.R., Roscoe, A.W.: A Theory of Communicating Sequential Processes. Journal of the ACM 31(3), 560–599 (1984)

5. Lecture Notes in Computer Science;J. Engelfriet,1998

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Interleaving vs True Concurrency: Some Instructive Security Examples;Application and Theory of Petri Nets and Concurrency;2020

2. Combining Differential Privacy and Mutual Information for Analyzing Leakages in Workflows;Lecture Notes in Computer Science;2017

3. Alternative composition analysis of noninterference in cyber-physical system;Journal of Computational Methods in Sciences and Engineering;2016-10-13

4. A Model-Based Approach to Secure Multiparty Distributed Systems;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016

5. Multilevel Transitive and Intransitive Non-interference, Causally;Lecture Notes in Computer Science;2016