A survey on non-interference with Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3098, Issue , 2004, Pages 328-344

  Busi, Nadia ^a   Gorrieri, Roberta ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

COMMON FEATURES; CONCURRENT SYSTEMS; EXTENSIONAL PROPERTIES; NET SYSTEMS; NON INTERFERENCE; PLACE/TRANSITION PETRI NETS; STRUCTURAL LEVELS;

STRUCTURAL PROPERTIES;

EID: 35048832336     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27755-2_8     Document Type: Review

References (13)

1. E. Badouel and Ph. Darondeau. Theory of regions. Lectures on Petri Nets I: Basic Models, Springer LNCS 1491:529:586, 1998.
2. J. Desel and W. Reisig. The synthesis problem of Petri nets. Acta Informatica, 33:296-315, 1996.
3. P. Degano, R. De Nicola, U. Montanari, "A Distributed Operational Semantics for CCS based on C/E Systems", Acta Informatica 26, 59-91, 1988.
4. A. Ehrenfeucht and G. Rozenberg. Partial (set) 2-structures; I and II. Acta Information, 27:315-368, 1990.
5. J.Engelfriet and G. Rozenberg. Elementary Net Systems Lectures on Petri Nets I: Basic Models, Springer LNCS 1491, 1998.
6. R. Focardi, R. Gorrieri, "A Classification of Security Properties", Journal of Computer Security 3(1):5-33, 1995
7. R. Focardi, R. Gorrieri, "Classification of Security Properties (Part I: Information Flow)", Foundations of Security Analysis and Design - Tutorial Lectures (R. Focardi and R. Gorrieri, Eds.), Springer LNCS 2171:331-396, 2001
8. J. A. Goguen, J. Meseguer, "Security Policy and Security Models", Proc. of Symposium on Security and Privacy, IEEE CS Press, pp. 11-20, 1982
9. C. A. Petri, Kommunikation mit Automaten, PhD Thesis, Institut für Instrumentelle Mathematik, Bonn, Germany, 1962.
10. W. Reisig, "Petri Nets: An Introduction", EATCS Monographs in Computer Science, Springer, 1985.
11. A.W. Roscoe, "CSP and Determinism in Security Modelling", Proc. of IEEE Symposium on Security and Privacy, IEEE CS Press, pp. 114-127, 1995
12. P.Y.A. Ryan, "Mathematical Models of Computer Security", Foundations of Security Analysis and Design - Tutorial Lectures (R. Focardi and R. Gorrieri, Eds.), Springer LNCS 2171:1-62, 2001
13. P.Y.A. Ryan, S. Schneider, "Process Algebra and Noninterference", Proc. of 12th Computer Security Foundations Workshop, IEEE CS Press, pp. 214-227, 1999