Structural non-interference in elementary and trace nets

Mathematical Structures in Computer Science

Volumn 19, Issue 6, 2009, Pages 1065-1090

  Busi, Nadia ^a   Gorrieri, Roberto ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CHARACTERISATION; COMMON FEATURES; CONCURRENT SYSTEMS; ELEMENTARY NET SYSTEM; EXTENSIONAL PROPERTIES; INFORMATION FLOWS; LEVEL TRANSITION; NON INTERFERENCE; SYSTEM MODELS;

MODEL STRUCTURES; PETRI NETS;

STRUCTURAL PROPERTIES;

EID: 74049123448     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129509990120     Document Type: Article

References (20)

1. Badouel, E. and Darondeau, Ph. (1995) Trace nets and process automata. Acta Informatica 32 647-679.
2. Badouel, E. and Darondeau, Ph. (1998) Theory of regions. In: Reisig, W. and Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models. Springer-Verlag Lecture Notes in Computer Science 1491 529-586.
3. Bossi, A., Focardi, R., Macedonio, D., Piazza, C. and Rossi, S. (2004) Unwinding in Information Flow Security. Electronic Notes in Theoretical Computer Science 99 127-154.
4. Brookes S.D., Hoare C.A.R. and Roscoe A.W. (1984) A Theory of Communicating Sequential Processes. Journal of the ACM 31 (3) 560-599.
5. Busi, N. and Gorrieri, R. (2004a) Structural Non-Interference with Petri Nets. Workshop on Issues in the Theory of Security (WITS'04).
6. Busi, N. and Gorrieri, R. (2004b) A Survey on Non-Interference with Petri Nets. Advanced Course on Petri Nets 2003. Springer-Verlag Lecture Notes in Computer Science 3098 328-344.
7. Busi, N. and Gorrieri, R. (2004c) Positive Non-Interference in Elementary and Trace Nets. Proceedings 25th International Conference on Application and Theory of Petri Nets. Springer- Verlag Lecture Notes in Computer Science 3099 1-16.
8. Engelfriet J. and Rozenberg G. (1998) Elementary Net Systems. In: Reisig, W. and Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models. Springer-Verlag Lecture Notes in Computer Science 1491 12-121.
9. Focardi R. and Gorrieri R. (1995) A Classification of Security Properties. Journal of Computer Security 3 (1) 5-33.
10. Focardi R. and Gorrieri R. (1997) The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties. IEEE Transactions on Software Engineering 23 (9) 550-571.
11. Focardi R. and Gorrieri R. (2001) Classification of Security Properties (Part I: Information Flow). In: Focardi, R. and Gorrieri, R. (eds.) Foundations of Security Analysis and Design - Tutorial Lectures. Springer-Verlag Lecture Notes in Computer Science 2171 331-396.
12. Frau S. (2008) Uno strumento sotware per l'analisi di propriet ̀a di sicurezza su reti di Petri. Masters thesis (in Italian), University of Bologna, March 2008.
13. Goguen J. A. and Meseguer J. (1982) Security Policy and Security Models. In: Proceedings of Symposium on Security and Privacy, IEEE CS Press 11-20.
14. Gruska D. P. (2007) Observation Based System Security. Fundamenta Informaticae 79 (3-4) 335-346.
15. Milner R. (1989) Communication and Concurrency, Prentice-Hall.
16. Petri C.A. (1962) Kommunikation mit Automaten, Ph.D. Thesis, Institut für Instrumentelle Mathematik, Bonn, Germany.
17. Reisig W. (1985) Petri Nets: An Introduction, EATCS Monographs in Computer Science, Springer- Verlag.
18. Roscoe A.W. (1995) CSP and Determinism in Security Modelling. In: Proceedings of IEEE Symposium on Security and Privacy, IEEE CS Press 114-127.
19. Ryan P.Y. A. (2001) Mathematical Models of Computer Security. In: Focardi, R. and Gorrieri, R. (eds.) Foundations of Security Analysis and Design - Tutorial Lectures. Springer-Verlag Lecture Notes in Computer Science 2171 1-62.
20. Ryan P.Y. A. and Schneider S. (1999) Process Algebra and Noninterference. In: Proceedings of 12th Computer Security Foundations Workshop, IEEE CS Press 214-227.