Modelling opacity using petri nets

Electronic Notes in Theoretical Computer Science

Volumn 121, Issue SPEC. ISS., 2005, Pages 101-115

  Bryans, Jeremy W ^a   Koutny, MacIej ^a   Ryan, Peter Y A ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Non deducibility; Observable behaviour; Opacity; Petri nets

Indexed keywords

COMPUTER CRIME; CRYPTOGRAPHY; DATA PRIVACY; MATHEMATICAL MODELS; OPACITY; PETRI NETS; PROBLEM SOLVING;

CRYPTOGRAPHIC PROTOCOLS; INFORMATION FLOW; NON-REDUCIBILITY; OBSERVABLE BEHAVIOR;

SECURITY OF DATA;

EID: 13544267513     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.10.010     Document Type: Conference Paper

References (12)

1. Busi, N., and R. Gorrieri, Structural Non-interference with Petri Nets, Proc. of WITS, 2004, 27-42
2. Cohen, E., Information Transmission in Computational Systems, Proc. of ACM Symposiu on Operating System Principles, 1997, 133-139
3. Feiertag, R.J., A Technique for Proving Specifications are Multi-level Secure, SRI International, Techical Report, 1980
4. Mazaré, L., Using Unification for Opacity Properties, Proc. of WITS, 2004, 165-176
5. Goguen, J.A., and J. Meseguer, Security Policies and Security Models, Proc. of IEEE Symposium on Security and Privacy, 1982, 1-10
6. Goguen, J.A., and J. Meseguer, Inference Control and Unwinding, Proc. of IEEE Symposium on Research in Security and Privacy, 1984, 75-86
7. W. Reisig, and G. Rozenberg Lectures on Petri Nets 1998 Springer Verlag
8. Rushby, J., Noninterference, Transitivity and Channel-Control Security Policies, SR International, Techical Report, 1992
9. P.Y.A. Ryan Mathematical Models of Computer Security Proc. of Foundations of Security Analysis and Design Lecture Notes in Computer Science 2172 2001 Springer-Verlag 1 62
10. Schneider, S.A., and A Sidiropoulos, CSP and Anonymity, Proc. of ESORICS, 2000, 198-218
11. Sutherland, D., A Model of Information, Proc. of National Computer Security Conference, 1986, 175-183
12. Wittbold, J.T., and D.M. Johnson, Information Flow in Nondeterministic Systems, Proc. of Symposium on Research on Security and Privacy, 1990, 144-161