{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,13]],"date-time":"2026-10-13T14:09:19Z","timestamp":1791900559889,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,11]],"date-time":"2005-11-11T00:00:00Z","timestamp":1131667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,11,11]]},"DOI":"10.1145\/1103576.1103584","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T15:52:40Z","timestamp":1139241160000},"page":"53-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["The framework of selective interleaving functions and the modular assembly kit"],"prefix":"10.1145","author":[{"given":"Heiko","family":"Mantel","sequence":"first","affiliation":[{"name":"RWTH Aachen University, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2005,11,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"International Journal of Information Security (IJIS) 3, 1","author":"Backes M.","year":"2004","unstructured":"Backes , M. , and Pfitzmann , B . Computational Probabilistic Non-Interference . International Journal of Information Security (IJIS) 3, 1 ( 2004 ), 42--60.]] Backes, M., and Pfitzmann, B. Computational Probabilistic Non-Interference. International Journal of Information Security (IJIS) 3, 1 (2004), 42--60.]]"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1009380.1009675"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3233\/JCS-1994\/1995-3103"},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"794","DOI":"10.1007\/3-540-48119-2_44","volume-title":"Proceedings of FM'99 -- Formal Methods (vol. 1)","author":"Focardi R.","year":"1999","unstructured":"Focardi , R. , and Martinelli , F . A Uniform Approach to the Definition of Security Properties . In Proceedings of FM'99 -- Formal Methods (vol. 1) ( 1999 ), vol. 1708 of LNCS , pp. 794 -- 813 .]] Focardi, R., and Martinelli, F. A Uniform Approach to the Definition of Security Properties. In Proceedings of FM'99 -- Formal Methods (vol. 1) (1999), vol. 1708 of LNCS, pp. 794--813.]]"},{"key":"e_1_3_2_1_5_1","first-page":"307","volume-title":"Information Flow Security in Dynamic Contexts. In Proceedings of the 15th IEEE Computer Security Foundations Workshop","author":"Focardi R.","year":"2002","unstructured":"Focardi , R. , and Rossi , S . Information Flow Security in Dynamic Contexts. In Proceedings of the 15th IEEE Computer Security Foundations Workshop ( 2002 ), pp. 307 -- 319 .]] Focardi, R., and Rossi, S. Information Flow Security in Dynamic Contexts. In Proceedings of the 15th IEEE Computer Security Foundations Workshop (2002), pp. 307--319.]]"},{"key":"e_1_3_2_1_6_1","first-page":"11","volume-title":"Security Policies and Security Models. In Proceedings of the IEEE Symposium on Security and Privacy","author":"Goguen J. A.","year":"1982","unstructured":"Goguen , J. A. , and Meseguer , J . Security Policies and Security Models. In Proceedings of the IEEE Symposium on Security and Privacy ( 1982 ), pp. 11 -- 20 .]] Goguen, J. A., and Meseguer, J. Security Policies and Security Models. In Proceedings of the IEEE Symposium on Security and Privacy (1982), pp. 11--20.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RISP.1991.130769"},{"key":"e_1_3_2_1_8_1","first-page":"34","volume-title":"Proceedings of the IEEE Computer Security Foundations Workshop","author":"Guttman J. D.","year":"1988","unstructured":"Guttman , J. D. , and Nadel , M. E . \" What Needs Securing? \". In Proceedings of the IEEE Computer Security Foundations Workshop ( 1988 ), pp. 34 -- 57 .]] Guttman, J. D., and Nadel, M. E. \"What Needs Securing?\". In Proceedings of the IEEE Computer Security Foundations Workshop (1988), pp. 34--57.]]"},{"key":"e_1_3_2_1_9_1","first-page":"209","volume-title":"Possibilistic Information Flow Control in the Presence of Encrypted Communication. In Proceedings of the European Symposium on Research in Computer Security","volume":"3193","author":"Hutter D.","year":"2004","unstructured":"Hutter , D. , and Schairer , A . Possibilistic Information Flow Control in the Presence of Encrypted Communication. In Proceedings of the European Symposium on Research in Computer Security ( 2004 ), vol. 3193 of LNCS, pp. 209 -- 224 .]] Hutter, D., and Schairer, A. Possibilistic Information Flow Control in the Presence of Encrypted Communication. In Proceedings of the European Symposium on Research in Computer Security (2004), vol. 3193 of LNCS, pp. 209--224.]]"},{"key":"e_1_3_2_1_10_1","first-page":"242","volume-title":"J. On the Derivation of Secure Components. In Proceedings of the IEEE Symposium on Security and Privacy","author":"Jacob","year":"1989","unstructured":"Jacob , J. On the Derivation of Secure Components. In Proceedings of the IEEE Symposium on Security and Privacy ( 1989 ), pp. 242 -- 247 .]] Jacob, J. On the Derivation of Secure Components. In Proceedings of the IEEE Symposium on Security and Privacy (1989), pp. 242--247.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/794200.795152"},{"key":"e_1_3_2_1_12_1","first-page":"238","volume-title":"H. Unwinding Possibilistic Security Properties. In Proceedings of the European Symposium on Research in Computer Security","volume":"1895","author":"Mantel","year":"2000","unstructured":"Mantel , H. Unwinding Possibilistic Security Properties. In Proceedings of the European Symposium on Research in Computer Security ( 2000 ), vol. 1895 of LNCS, pp. 238 -- 254 .]] Mantel, H. Unwinding Possibilistic Security Properties. In Proceedings of the European Symposium on Research in Computer Security (2000), vol. 1895 of LNCS, pp. 238--254.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/647540.730014"},{"key":"e_1_3_2_1_14_1","first-page":"88","volume-title":"H. On the Composition of Secure Systems. In Proceedings of the IEEE Symposium on Security and Privacy","author":"Mantel","year":"2002","unstructured":"Mantel , H. On the Composition of Secure Systems. In Proceedings of the IEEE Symposium on Security and Privacy ( 2002 ), pp. 88 -- 104 .]] Mantel, H. On the Composition of Secure Systems. In Proceedings of the IEEE Symposium on Security and Privacy (2002), pp. 88--104.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/872752.873516"},{"key":"e_1_3_2_1_18_1","first-page":"161","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy","author":"McCullough D.","year":"1987","unstructured":"McCullough , D. Specifications for Multi-Level Security and a Hook-Up Property . In Proceedings of the IEEE Symposium on Security and Privacy ( 1987 ), pp. 161 -- 166 .]] McCullough, D. Specifications for Multi-Level Security and a Hook-Up Property. In Proceedings of the IEEE Symposium on Security and Privacy (1987), pp. 161--166.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/882490.884224"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.481534"},{"key":"e_1_3_2_1_21_1","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989","unstructured":"Milner , R. Communication and Concurrency . International Series in Computer Science . Prentice Hall , 1989 .]] Milner, R. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.]]"},{"key":"e_1_3_2_1_22_1","first-page":"147","volume-title":"C. A Calculus of Information Flow. In Proceedings of the European Symposium on Research in Computer Security","author":"O'Halloran","year":"1990","unstructured":"O'Halloran , C. A Calculus of Information Flow. In Proceedings of the European Symposium on Research in Computer Security ( 1990 ), pp. 147 -- 159 .]] O'Halloran, C. A Calculus of Information Flow. In Proceedings of the European Symposium on Research in Computer Security (1990), pp. 147--159.]]"},{"key":"e_1_3_2_1_23_1","first-page":"82","volume-title":"A Logic of Composition for Information Flow Predicates. In Proceedings of the 9th IEEE Computer Security Foundations Workshop","author":"Peri R. V.","year":"1996","unstructured":"Peri , R. V. , Wulf , W. A. , and Kienzle , D. M . A Logic of Composition for Information Flow Predicates. In Proceedings of the 9th IEEE Computer Security Foundations Workshop ( 1996 ), pp. 82 -- 93 .]] Peri, R. V., Wulf, W. A., and Kienzle, D. M. A Logic of Composition for Information Flow Predicates. In Proceedings of the 9th IEEE Computer Security Foundations Workshop (1996), pp. 82--93.]]"},{"key":"e_1_3_2_1_24_1","first-page":"114","volume-title":"A. W. CSP and Determinism in Security Modelling. In Proceedings of the IEEE Symposium on Security and Privacy","author":"Roscoe","year":"1995","unstructured":"Roscoe , A. W. CSP and Determinism in Security Modelling. In Proceedings of the IEEE Symposium on Security and Privacy ( 1995 ), pp. 114 -- 127 .]] Roscoe, A. W. CSP and Determinism in Security Modelling. In Proceedings of the IEEE Symposium on Security and Privacy (1995), pp. 114--127.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/794199.795122"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/646645.699177"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/794199.795121"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/374742.374751"},{"key":"e_1_3_2_1_29_1","volume-title":"A Case Study in Comparison Shopping. Master's thesis","author":"Sch\u00e4fer I.","year":"2004","unstructured":"Sch\u00e4fer , I. Information Flow Control for Multiagent Systems , A Case Study in Comparison Shopping. Master's thesis , Universit\u00e4t Rostock , 2004 .]] Sch\u00e4fer, I. Information Flow Control for Multiagent Systems, A Case Study in Comparison Shopping. Master's thesis, Universit\u00e4t Rostock, 2004.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30108-0_14"},{"key":"e_1_3_2_1_31_1","first-page":"144","volume-title":"Information Flow in Nondeterministic Systems. In Proceedings of the IEEE Symposium on Research in Security and Privacy","author":"Wittbold J. T.","year":"1990","unstructured":"Wittbold , J. T. , and Johnson , D. M . Information Flow in Nondeterministic Systems. In Proceedings of the IEEE Symposium on Research in Security and Privacy ( 1990 ), pp. 144 -- 161 .]] Wittbold, J. T., and Johnson, D. M. Information Flow in Nondeterministic Systems. In Proceedings of the IEEE Symposium on Research in Security and Privacy (1990), pp. 144--161.]]"},{"key":"e_1_3_2_1_33_1","first-page":"94","volume-title":"A General Theory of Security Properties. In Proceedings of the IEEE Symposium on Security and Privacy","author":"Zakinthinos A.","year":"1997","unstructured":"Zakinthinos , A. , and Lee , E. S . A General Theory of Security Properties. In Proceedings of the IEEE Symposium on Security and Privacy ( 1997 ), pp. 94 -- 102 .]] Zakinthinos, A., and Lee, E. S. A General Theory of Security Properties. In Proceedings of the IEEE Symposium on Security and Privacy (1997), pp. 94--102.]]"}],"event":{"name":"CCS05: 12th ACM Conference on Computer and Communications Security 2005","location":"Fairfax VA USA","acronym":"CCS05","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2005 ACM workshop on Formal methods in security engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103576.1103584","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1103576.1103584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:07:52Z","timestamp":1750262872000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103576.1103584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,11]]},"references-count":30,"alternative-id":["10.1145\/1103576.1103584","10.1145\/1103576"],"URL":"https:\/\/doi.org\/10.1145\/1103576.1103584","relation":{},"subject":[],"published":{"date-parts":[[2005,11,11]]},"assertion":[{"value":"2005-11-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}