{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T19:40:02Z","timestamp":1748979602769,"version":"3.41.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319395180"},{"type":"electronic","value":"9783319395197"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-39519-7_1","type":"book-chapter","created":{"date-parts":[[2016,5,24]],"date-time":"2016-05-24T13:18:53Z","timestamp":1464095933000},"page":"1-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Multilevel Transitive and Intransitive Non-interference, Causally"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Beggiato","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,24]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proceedings of the Symposium on Security and Privacy, pp. 11\u201320. IEEE Computer Society (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-45608-2_6","volume-title":"Foundations of Security Analysis and Design","author":"R Focardi","year":"2001","unstructured":"Focardi, R., Gorrieri, R.: Classification of security properties (Part I: information flow). In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol. 2171, pp. 331\u2013396. Springer, Heidelberg (2001)"},{"issue":"1\/2","key":"1_CR3","doi-asserted-by":"publisher","first-page":"75","DOI":"10.3233\/JCS-2001-91-204","volume":"9","author":"P Ryan","year":"2001","unstructured":"Ryan, P., Schneider, Y.: Process algebra and non-interference. J. Comput. Secur. 9(1\/2), 75\u2013103 (2001)","journal-title":"J. Comput. Secur."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Mantel, H.: Possibilistic definitions of security - an assembly kit. In: Proceedings of CSFW 2000, pp. 185\u2013199. IEEE Computer Society (2000)","DOI":"10.1109\/CSFW.2000.856936"},{"issue":"6","key":"1_CR5","doi-asserted-by":"publisher","first-page":"1065","DOI":"10.1017\/S0960129509990120","volume":"19","author":"N Busi","year":"2009","unstructured":"Busi, N., Gorrieri, R.: Structural non-interference in elementary and trace nets. Math. Struct. Comput. Sci. 19(6), 1065\u20131090 (2009)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Best, E., Darondeau, P., Gorrieri, R.: On the decidability of non interference over unbounded Petri nets. In Chatzikokolakis, K., Cortier, V. (eds.) Proceedings of SecCo 2010. EPTCS, vol. 51, pp. 16\u201333. Open Publishing Association (2010)","DOI":"10.4204\/EPTCS.51.2"},{"issue":"1","key":"1_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2015-1243","volume":"140","author":"P Baldan","year":"2015","unstructured":"Baldan, P., Carraro, A.: A causal view on non-intereference. Fundamenta Informaticae 140(1), 1\u201338 (2015)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR8","unstructured":"McCullough, D.: Noninterference and the composability of security properties. In: Symposium on Security and Privacy, pp. 178\u2013186. IEEE Computer Society (1988)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Wittbold, J., Johnson, D.: Information flow in nondeterministic systems. In: Symposium on Security and Privacy, pp. 148\u2013161. IEEE Computer Society (1990)","DOI":"10.1109\/RISP.1990.63846"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part 1. Theoret. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1007\/978-3-319-15317-9_17","volume-title":"Formal Aspects of Component Software","author":"P Baldan","year":"2015","unstructured":"Baldan, P., Burato, F., Carraro, A.: Intransitive non-interference by unfolding. In: Lanese, I., Madelaine, E. (eds.) FACS 2014. LNCS, vol. 8997, pp. 269\u2013287. Springer, Heidelberg (2015)"},{"issue":"5","key":"1_CR12","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"DE Denning","year":"1976","unstructured":"Denning, D.E.: A lattice model of secure information flow. Commun. ACM 19(5), 236\u2013243 (1976)","journal-title":"Commun. ACM"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Rushby, J.M.: Design and verification of secure systems. In: Proceedings of SOSP 1981, pp. 12\u201321. ACM (1981)","DOI":"10.1145\/1067627.806586"},{"key":"1_CR14","unstructured":"Beggiato, A.: MultiUBIC. https:\/\/github.com\/AlessandroBeggiato\/MultiUbic\/releases"},{"key":"1_CR15","unstructured":"Service Technology: ANICA: Automated Non-Interference Check Assistant. http:\/\/service-technology.org\/anica"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-642-23082-0_5","volume-title":"Foundations of Security Analysis and Design VI","author":"R Gorrieri","year":"2011","unstructured":"Gorrieri, R., Vernali, M.: On intransitive non-interference in some models of concurrency. In: Aldini, A., Gorrieri, R. (eds.) FOSAD 2011. LNCS, vol. 6858, pp. 125\u2013151. Springer, Heidelberg (2011)"},{"key":"1_CR17","series-title":"EACTS Monographs in Theoretical Computer Science","volume-title":"Unfoldings - A Partial order Approach to Model Checking","author":"J Esparza","year":"2008","unstructured":"Esparza, J., Heljanko, K.: Unfoldings - A Partial order Approach to Model Checking. EACTS Monographs in Theoretical Computer Science. Springer, New York (2008)"},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"KL McMillan","year":"1995","unstructured":"McMillan, K.L.: A technique of state space search based on unfolding. Form. Methods Syst. Des. 6(1), 45\u201365 (1995)","journal-title":"Form. Methods Syst. Des."},{"key":"1_CR19","unstructured":"Rushby, J.: Noninterference, transitivity, and channel-control security policies. Technical report, December 1992"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s00236-003-0122-y","volume":"40","author":"V Khomenko","year":"2003","unstructured":"Khomenko, V., Koutny, M., Vogler, W.: Canonical prefixes of Petri net unfoldings. Acta Informatica 40, 95\u2013118 (2003)","journal-title":"Acta Informatica"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-642-01465-9_14","volume-title":"Formal Aspects in Security and Trust","author":"S Frau","year":"2009","unstructured":"Frau, S., Gorrieri, R., Ferigato, C.: Petri net security checker: structural non-interference at work. In: Degano, P., Guttman, J., Martinelli, F. (eds.) FAST 2008. LNCS, vol. 5491, pp. 210\u2013225. Springer, Heidelberg (2009)"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-642-32885-5_13","volume-title":"Business Process Management","author":"R Accorsi","year":"2012","unstructured":"Accorsi, R., Lehmann, A.: Automatic information flow analysis of business process models. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 172\u2013187. Springer, Heidelberg (2012)"},{"issue":"10","key":"1_CR23","doi-asserted-by":"publisher","first-page":"2310","DOI":"10.1109\/TAC.2010.2063490","volume":"55","author":"S Haar","year":"2010","unstructured":"Haar, S.: Types of asynchronous diagnosability and the reveals-relation in occurrence nets. IEEE Trans. Autom. Control 55(10), 2310\u20132320 (2010)","journal-title":"IEEE Trans. Autom. Control"},{"issue":"5","key":"1_CR24","doi-asserted-by":"publisher","first-page":"948","DOI":"10.1109\/TSMCB.2005.847749","volume":"35","author":"BN Hadj-Alouane","year":"2005","unstructured":"Hadj-Alouane, B.N., Lafrance, S., Lin, F., Mullins, J., Yeddes, M.M.: On the verification of intransitive noninterference in multilevel security. IEEE Trans. Syst. Man Cybernetics Part B 35(5), 948\u2013958 (2005)","journal-title":"IEEE Trans. Syst. Man Cybernetics Part B"},{"key":"1_CR25","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/0-387-24098-5_12","volume-title":"Formal Aspects in Security and Trust","author":"J Bryans","year":"2005","unstructured":"Bryans, J., Koutny, M., Ryan, P.: Modelling dynamic opacity using Petri nets with silent actions. In: Dimitrakos, T., Martinelli, F. (eds.) FAST 2005. IFIP, vol. 173, pp. 159\u2013172. Springer, Boston (2005)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-642-28641-4_16","volume-title":"Principles of Security and Trust","author":"E Best","year":"2012","unstructured":"Best, E., Darondeau, P.: Deciding selective declassification of Petri nets. In: Degano, P., Guttman, J.D. (eds.) POST 2012. LNCS, vol. 7215, pp. 290\u2013308. Springer, Heidelberg (2012)"},{"key":"1_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-30477-7_9","volume-title":"Programming Languages and Systems","author":"H Mantel","year":"2004","unstructured":"Mantel, H., Sands, D.: Controlled declassification based on intransitive noninterference. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 129\u2013145. Springer, Heidelberg (2004)"},{"issue":"4\/5","key":"1_CR28","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R van Glabbeek","year":"2001","unstructured":"van Glabbeek, R., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Informatica 37(4\/5), 229\u2013327 (2001)","journal-title":"Acta Informatica"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-23506-6_8","volume-title":"Correct System Design","author":"S Fr\u00f6schle","year":"2015","unstructured":"Fr\u00f6schle, S.: Causality, behavioural equivalences, and the security of cyberphysical systems. In: Meyer, R., Platzer, A., Wehrheim, H. (eds.) Olderog-Festschrift. LNCS, vol. 9360, pp. 83\u201398. Springer, Heidelberg (2015)"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39519-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T19:11:27Z","timestamp":1748977887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39519-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319395180","9783319395197"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39519-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"24 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}