{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:43:06Z","timestamp":1774946586409,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642286407","type":"print"},{"value":"9783642286414","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28641-4_16","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T21:10:46Z","timestamp":1332450646000},"page":"290-308","source":"Crossref","is-referenced-by-count":7,"title":["Deciding Selective Declassification of Petri Nets"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Darondeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","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 8th International Workshop on Security Issues in Concurrency, SecCo. EPTCS, vol.\u00a051, pp. 16\u201333 (2010), http:\/\/dx.doi.org\/10.4204\/EPTCS.51.2","DOI":"10.4204\/EPTCS.51.2"},{"issue":"6","key":"16_CR2","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(6), 1065\u20131090 (2009), doi:10.1017\/S0960129509990120","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Dam, M.: Decidability and Proof Systems for Language-based Noninterference Relations. In: Proc. POPL 2006, pp. 67\u201378 (2006), doi:10.1145\/1111037.1111044","DOI":"10.1145\/1111037.1111044"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-89862-7_2","volume-title":"Information Systems Security","author":"D. D\u2019Souza","year":"2008","unstructured":"D\u2019Souza, D., Holla, R., Kulkarni, J., Ramesh, R.K., Sprick, B.: On the Decidability of Model-Checking Information Flow Properties. In: Sekar, R., Pujari, A.K. (eds.) ICISS 2008. LNCS, vol.\u00a05352, pp. 26\u201340. Springer, Heidelberg (2008)"},{"key":"16_CR5","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.\u00a06858, pp. 125\u2013151. Springer, Heidelberg (2011), http:\/\/dx.doi.org\/10.1007\/978-3-642-23082-0_5"},{"issue":"2","key":"16_CR6","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1109\/TSE.1987.226478","volume":"SE-13","author":"T.J. Haigh","year":"1987","unstructured":"Haigh, T.J., Young, W.D.: Extending the noninterference versions of MLS for SAT. IEEE Trans. on Software Engineering\u00a0SE-13(2), 141\u2013150 (1987)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Mantel, H.: Possibilistic Definitions of Security - an Assembly Kit. In: Proc. of the 13th IEEE Computer Security Foundations Workshop, Cambridge, UK, July 3-5, pp. 185\u2013199 (2000)","DOI":"10.1109\/CSFW.2000.856936"},{"key":"16_CR8","unstructured":"Mantel, H.: A Uniform Framework for the Formal Specification and Verification of Information Flow Security. PhD Thesis, Universit\u00e4t des Saarlandes (2003)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-45251-6_9","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"H. Mantel","year":"2001","unstructured":"Mantel, H.: Information Flow Control and Applications - Bridging a Gap. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol.\u00a02021, pp. 153\u2013172. Springer, Heidelberg (2001)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-74835-9_16","volume-title":"Computer Security \u2013 ESORICS 2007","author":"R. Meyden van der","year":"2007","unstructured":"van der Meyden, R.: What, Indeed, Is Intransitive Noninterference? In: Biskup, J., L\u00f3pez, J. (eds.) ESORICS 2007. LNCS, vol.\u00a04734, pp. 235\u2013250. Springer, Heidelberg (2007)"},{"key":"16_CR11","first-page":"239","volume-title":"Entscheidbarkeit bei Petri Netzen - \u00dcberblick und Kompendium","author":"H. Wimmel","year":"2008","unstructured":"Wimmel, H.: Entscheidbarkeit bei Petri Netzen - \u00dcberblick und Kompendium, p. 239. Springer, Heidelberg (2008), http:\/\/dx.doi.org\/10.1007\/978-3-540-85471-5"}],"container-title":["Lecture Notes in Computer Science","Principles of Security and Trust"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28641-4_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,23]],"date-time":"2025-03-23T18:58:46Z","timestamp":1742756326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28641-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642286407","9783642286414"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28641-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}