Positive non-interference in elementary and trace nets

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

Volumn 3099, Issue , 2004, Pages 1-16

  Busi, Nadia ^a   Gorrieri, Roberto ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMMON FEATURES; CONCURRENT SYSTEMS; CONTACT FREE; ELEMENTARY NET SYSTEM; EXTENSIONAL PROPERTIES; NET SYSTEMS; NON INTERFERENCE;

PETRI NETS;

EID: 33747039373     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27793-4_1     Document Type: Article

References (14)

1. E. Badouel and Ph. Darondeau. Trace nets and process automata. Acta Informatica, 32, 647-679, 1995.
2. E. Badouel and Ph. Darondeau. Theory of regions. Lectures on Petri Nets I: Basic Models, Springer LNCS 1491:529-586, 1998.
3. A. Bossi, R. Focardi, D. Macedonio, C. Piazza and S. Rossi. Unwinding in Information Flow Security. ENTCS, to appear.
4. N. Busi and R. Gorrieri. Structural Non-interference with Petri Nets. Workshop on Issues in the Theory of Security (WITS'04), 2004.
5. N. Busi and R. Gorrieri. A Survey on Non-interference with Petri Nets. Advanced Course on Petri Nets 2003, Springer LNCS, to appear.
6. J.Engelfriet and G. Rozenberg. Elementary Net Systems Lectures on Petri Nets I: Basic Models, Springer LNCS 1491, 1998.
7. R. Focardi, R. Gorrieri, "A Classification of Security Properties", Journal of Computer Security 3(l):5-33, 1995
8. 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
9. J.A. Goguen, J. Meseguer, "Security Policy and Security Models", Proc. of Symposium on Security and Privacy, IEEE CS Press, pp. 11-20, 1982
10. C. A. Petri, Kommunikation mit Automaten, PhD Thesis, Institut für Instrumentelle Mathematik, Bonn, Germany, 1962.
11. W. Reisig, "Petri Nets: An Introduction", EATCS Monographs in Computer Science, Springer, 1985.
12. A.W. Roscoe, "CSP and Determinism in Security Modelling", Proc. of IEEE Symposium on Security and Privacy, IEEE CS Press, pp. 114-127, 1995
13. 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
14. P.Y.A. Ryan, S. Schneider, "Process Algebra and Noninterference", Proc. of 12th Computer Security Foundations Workshop, IEEE CS Press, pp. 214-227, 1999