{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:12:01Z","timestamp":1725466321903},"publisher-location":"New York","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"0387240500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-24098-5_12","type":"book-chapter","created":{"date-parts":[[2005,10,3]],"date-time":"2005-10-03T13:34:04Z","timestamp":1128346444000},"page":"159-172","source":"Crossref","is-referenced-by-count":13,"title":["Modelling Dynamic Opacity Using Petri Nets with Silent Actions"],"prefix":"10.1007","author":[{"given":"Jeremy W.","family":"Bryans","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maciej","family":"Koutny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Y.A.","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"J.W. Bryans, M. Koutny and P.Y.A. Ryan: Modelling Opacity using Petri Nets. Proceedings of WISP 2004 (2004)","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"J.W. Bryans, M. Koutny and P.Y.A. Ryan: Modelling Dynamic Opacity using Petri Nets with Silent Actions University of Newcastle Technical Report Series 2004","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"N. Busi and R. Gorrieri: Structural Non-interference with Petri Nets. Proceedings of WITS 2004 (2004)","DOI":"10.1007\/978-3-540-27755-2_8"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"D. Chaum: The dining cryptographers problem: unconditional sender and receipient untraceability. Journal of Cryptology, 1, 1988","DOI":"10.1007\/BF00206326"},{"key":"12_CR5","unstructured":"E. Cohen: Information Transmission in Computational Systems. Proceedings of 6th ACM Symposium on Operating System Principles (1997)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"R.J. Feiertag: A technique for Proving Specifications are Multi-level Secure Technical. Report CSL109, CSL, SRI International (1980)","DOI":"10.21236\/ADB145741"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer: Security Policies and Security Models. Proceedings of IEEE Symposium on Security and Privacy (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer: Inference Control and Unwinding. Proceedings of IEEE Symposium on Research in Security and Privacy (1984)","DOI":"10.1109\/SP.1984.10019"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare: Communicating Sequential Processes (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"12_CR10","unstructured":"L. Mazare: Using Unification for Opacity Properties. Proceedings of WITS 2004 (2004)"},{"key":"12_CR11","unstructured":"C. O'Halloran: A Calculus of Information Flow. Proceedings of ESORICS (1990)"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"W. Reisig and G. Rozenberg (Eds.): Lectures on Petri Nets. LNCS 1491 & 1492 (1998)","DOI":"10.1007\/3-540-65306-6"},{"key":"12_CR13","unstructured":"J. Rushby: Noninterference, Transitivity and Channel-Control Security Policies. SRI Techical Report (1992)"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"P.Y.A. Ryan: Mathematical Models of Computer Security. Proceedings of Foundations of Security Analysis and Design, LNCS 2171 (2000)","DOI":"10.1007\/3-540-45608-2_1"},{"key":"12_CR15","unstructured":"S.A. Schneider and A. Sidiropoulos: CSP and Anonymity. Proceedings of ESORICS (2000)"},{"key":"12_CR16","unstructured":"D. Sutherland: A Model of Information, Proceedings of 9th National Computer Security Conference (1986)"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"J.T. Wittbold and D.M. Johnson: Information Flow in Nondeterministic Systems. Proceedings of the Symposium on Research on Security and Privacy (1990)","DOI":"10.1109\/RISP.1990.63846"}],"container-title":["IFIP International Federation for Information Processing","Formal Aspects in Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-24098-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T07:44:20Z","timestamp":1706600660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-24098-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387240500"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/0-387-24098-5_12","relation":{},"subject":[]}}