{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T05:44:35Z","timestamp":1759383875809,"version":"3.40.4"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319077338"},{"type":"electronic","value":"9783319077345"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07734-5_11","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T13:57:34Z","timestamp":1404223054000},"page":"190-209","source":"Crossref","is-referenced-by-count":14,"title":["Non-interference by Unfolding"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Baldan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Carraro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 11\u201320. IEEE Computer Society (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"11_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.\u00a02171, pp. 331\u2013396. Springer, Heidelberg (2001)"},{"key":"11_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. Journal of Computer Security\u00a09, 75\u2013103 (2001)","journal-title":"Journal of Computer Security"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Mantel, H.: Possibilistic definitions of security - an assembly kit. In: CSFW, pp. 185\u2013199. IEEE Computer Society (2000)","DOI":"10.1109\/CSFW.2000.856936"},{"key":"11_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. Mathematical Structures in Computer Science\u00a019, 1065\u20131090 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"16","DOI":"10.4204\/EPTCS.51.2","volume":"51","author":"Eike Best","year":"2011","unstructured":"Best, E., Darondeau, P., Gorrieri, R.: On the decidability of non interference over unbounded Petri nets. In: Proceedings of SecCo 2010. EPTCS, vol.\u00a051, pp. 16\u201333 (2010)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"11_CR7","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. TCS\u00a013, 85\u2013108 (1981)","journal-title":"TCS"},{"key":"11_CR8","unstructured":"Esparza, J., Heljanko, K.: Unfoldings - A Partial order Approach to Model Checking. EACTS Monographs in Theoretical Computer Science. Springer (2008)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-319-02444-8_42","volume-title":"Automated Technology for Verification and Analysis","author":"C. Rodr\u00edguez","year":"2013","unstructured":"Rodr\u00edguez, C., Schwoon, S.: Cunf: A tool for unfolding and verifying Petri nets with read arcs. In: Van Hung, D., Ogawa, M. (eds.) ATVA 2013. LNCS, vol.\u00a08172, pp. 492\u2013495. Springer, Heidelberg (2013)"},{"key":"11_CR10","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.\u00a07481, pp. 172\u2013187. Springer, Heidelberg (2012)"},{"key":"11_CR11","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.\u00a05491, pp. 210\u2013225. Springer, Heidelberg (2009)"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01384314","volume":"6","author":"K.L. McMillan","year":"1995","unstructured":"McMillan, K.L.: A technique of state space search based on unfolding. Form. Methods Syst. Des.\u00a06, 45\u201365 (1995)","journal-title":"Form. Methods Syst. Des."},{"key":"11_CR13","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\u00a040, 95\u2013118 (2003)","journal-title":"Acta Informatica"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BFb0052092","volume-title":"Foundations of Computer Science","author":"J. Meseguer","year":"1997","unstructured":"Meseguer, J., Montanari, U., Sassone, V.: Representation theorems for petri nets. In: Freksa, C., Jantzen, M., Valk, R. (eds.) Foundations of Computer Science. LNCS, vol.\u00a01337, pp. 239\u2013249. Springer, Heidelberg (1997)"},{"key":"11_CR15","unstructured":"Best, E., Grahlmann, B.: PEP Documentation and User Guide 1.8 (1998)"},{"key":"11_CR16","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.\u00a05491, pp. 210\u2013225. Springer, Heidelberg (2009)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-540-73094-1_5","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"K. Wolf","year":"2007","unstructured":"Wolf, K.: Generating Petri net state spaces. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 29\u201342. Springer, Heidelberg (2007)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"569","DOI":"10.1145\/365559.365617","volume":"8","author":"E. Dijkstra","year":"1965","unstructured":"Dijkstra, E.: Solution of a problem in concurrent programming control. Communication of the ACM\u00a08, 569 (1965)","journal-title":"Communication of the ACM"},{"key":"11_CR19","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 Transactions on Automatic Control\u00a055, 2310\u20132320 (2010)","journal-title":"IEEE Transactions on Automatic Control"},{"key":"11_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/BFb0039047","volume-title":"CONCUR \u201990","author":"R. Gorrieri","year":"1990","unstructured":"Gorrieri, R., Montanari, U.: SCONE: A simple calculus of nets. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 2\u201330. Springer, Heidelberg (1990)"},{"key":"11_CR21","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s00165-008-0079-2","volume":"20","author":"R. Devillers","year":"2008","unstructured":"Devillers, R., Klaudel, H., Koutny, M.: A compositional Petri net translation of general pi-calculus terms. Formal Asp. Comput.\u00a020, 429\u2013450 (2008)","journal-title":"Formal Asp. Comput."},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1007\/978-3-642-32940-1_31","volume-title":"CONCUR 2012 \u2013 Concurrency Theory","author":"R. Meyer","year":"2012","unstructured":"Meyer, R., Khomenko, V., H\u00fcchting, R.: A polynomial translation of \u03c0-calculus (FCP) to safe Petri nets. In: Koutny, M., Ulidowski, I. (eds.) CONCUR 2012. LNCS, vol.\u00a07454, pp. 440\u2013455. Springer, Heidelberg (2012)"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Informatica\u00a037, 229\u2013327 (2001)","journal-title":"Acta Informatica"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets and Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07734-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T16:13:33Z","timestamp":1746288813000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07734-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319077338","9783319077345"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07734-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}