{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T14:07:35Z","timestamp":1787926055393,"version":"build-2784847793"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540410317","type":"print"},{"value":"9783540452997","type":"electronic"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722599_15","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T11:41:21Z","timestamp":1167478881000},"page":"238-254","source":"Crossref","is-referenced-by-count":28,"title":["Unwinding Possibilistic Security Properties"],"prefix":"10.1007","author":[{"given":"Heiko","family":"Mantel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0020-0190(85)90056-0","volume":"21","author":"B. Alpern","year":"1985","unstructured":"Alpern, B., Schneider, F.B.: Defining Liveness. Information Processing Letters\u00a021, 181\u2013185 (1985)","journal-title":"Information Processing Letters"},{"issue":"1","key":"15_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1995","unstructured":"Focardi, R., Gorrieri, R.: A Classification of Security Properties for Process Algebras. Journal of Computer Security\u00a03(1), 5\u201333 (1995)","journal-title":"Journal of Computer Security"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Foley, S.N.: A Universal Theory of Information Flow. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 116\u2013122 (1987)","DOI":"10.1109\/SP.1987.10012"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Graham-Cumming, J., Sanders, J.W.: On the Refinement of Noninterference. In: Proceedings of the IEEE Computer Security Foundations Workshop, pp. 35\u201342 (1991)","DOI":"10.1109\/CSFW.1991.151567"},{"key":"15_CR5","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 (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"15_CR6","unstructured":"Goguen, J.A., Meseguer, J.: Inference Control and Unwinding. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 75\u201386 (1984)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Jacob, J.: On the Derivation of Secure Components. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 242\u2013247 (1989)","DOI":"10.1109\/SECPRI.1989.36298"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Jacob, J.: Categorising Non-interference. In: Proceedings of the Computer Security Workshop, pp. 44\u201350 (1990)","DOI":"10.1109\/CSFW.1990.128184"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1006\/inco.1995.1134","volume":"121","author":"N. Lynch","year":"1995","unstructured":"Lynch, N., Vaandrager, F.: Forward and Backward Simulations, Part I: Untimed Systems. Information and Computation\u00a0121(2), 214\u2013233 (1995)","journal-title":"Information and Computation"},{"key":"15_CR10","unstructured":"Mantel, H.: Possibilistic Definitions of Security \u2013An Assembly Kit\u2013. In: Proceedings of the IEEE Computer Security Foundations Workshop (2000)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"McCullough, D.: Specifications for Multi-Level Security and a Hook-Up Property. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 161\u2013166 (1987)","DOI":"10.1109\/SP.1987.10009"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"McLean, J.: A General Theory of Composition for Trace Sets Closed under Selective Interleaving Functions. In: Proceedings of the IEEE Symposium on Research in Security and Privacy, pp. 79\u201393 (1994)","DOI":"10.1109\/RISP.1994.296590"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Millen, J.K.: Unwinding Forward Correctability. In: Proceedings of the Computer Security Foundations Workshop, pp. 2\u201310 (1994)","DOI":"10.1109\/CSFW.1994.315952"},{"key":"15_CR14","unstructured":"O\u2019Halloran, C.: A Calculus of Information Flow. In: Proceedings of the European Symposium on Research in Computer Security, ESORICS 1990 (1990)"},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Ryan, P.Y.A., Schneider, S.A.: Process Algebra and Non-interference. In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, pp. 214\u2013227 (1999)","DOI":"10.1109\/CSFW.1999.779775"},{"key":"15_CR16","unstructured":"Rushby, J.: Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CSL-92-02, SRI International (1992)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","first-page":"33","volume-title":"Computer Security - ESORICS 94","author":"A.W. Roscoe","year":"1994","unstructured":"Roscoe, A.W., Woodcock, J.C.P., Wulf, L.: Non-interference through Determinism. In: Gollmann, D. (ed.) ESORICS 1994. LNCS, vol.\u00a0875, pp. 33\u201353. Springer, Heidelberg (1994)"},{"key":"15_CR18","unstructured":"Ryan, P.Y.A.: A CSP Formulation of Non-Interference and Unwinding. Cipher, 19\u201330 (Winter 1991)"},{"key":"15_CR19","unstructured":"Sutherland, D.: A Model of Information. In: Proceedings of 9th National Computer Security Conference (1986)"},{"key":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1007\/BFb0039066","volume-title":"CONCUR \u201990","author":"R.J. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R.J.: The Linear Time \u2013 Branching Time Spectrum. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol.\u00a0458, pp. 278\u2013297. Springer, Heidelberg (1990)"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Zakinthinos, A., Lee, E.S.: A General Theory of Security Properties. In: Proceedings of the IEEE Symposium on Security and Privacy, pp. 94\u2013102 (1997)","DOI":"10.1109\/SECPRI.1997.601322"}],"container-title":["Lecture Notes in Computer Science","Computer Security - ESORICS 2000"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722599_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,12]],"date-time":"2025-01-12T19:08:18Z","timestamp":1736708898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722599_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410317","9783540452997"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/10722599_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}