{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:57:10Z","timestamp":1743119830824,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252426"},{"type":"electronic","value":"9783642252433"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25243-3_28","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:18:58Z","timestamp":1320229138000},"page":"345-359","source":"Crossref","is-referenced-by-count":2,"title":["A Multi-compositional Enforcement on Information Flow Security"],"prefix":"10.1007","author":[{"given":"Cong","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ennan","family":"Zhai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianfeng","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"The olden benchmark suite v1.0, http:\/\/www.martincarlisle.com\/olden.html"},{"key":"28_CR2","unstructured":"The worst-case execution time (wcet) analysis project\/benchmarks (2006), http:\/\/www.mrtc.mdh.se\/projects\/wcet\/benchmarks.html"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/978-3-540-88313-5_22","volume-title":"Computer Security - ESORICS 2008","author":"A. Askarov","year":"2008","unstructured":"Askarov, A., Hunt, S., Sabelfeld, A., Sands, D.: Termination-insensitive Noninterference Leaks More Than Just a Bit. In: Jajodia, S., Lopez, J. (eds.) ESORICS 2008. LNCS, vol.\u00a05283, pp. 333\u2013348. Springer, Heidelberg (2008)"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Barthe, G., D\u2019Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: CSFW, pp. 100\u2013114. IEEE (2004)","DOI":"10.1109\/CSFW.2004.1310735"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Bohannon, A., Pierce, B.C., Sj\u00f6berg, V., Weirich, S., Zdancewic, S.: Reactive noninterference. In: CCS, pp. 79\u201390. ACM (2009)","DOI":"10.1145\/1653662.1653673"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511809088"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Devriese, D., Piessens, F.: Noninterference through secure multi-execution. In: IEEE Symposium on Security and Privacy, pp. 109\u2013124 (2010)","DOI":"10.1109\/SP.2010.15"},{"issue":"2-3","key":"28_CR8","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10207-007-0015-0","volume":"6","author":"N.D. Francesco","year":"2007","unstructured":"Francesco, N.D., Martini, L.: Instruction-level security typing by abstract interpretation. Int. J. Inf. Sec.\u00a06(2-3), 85\u2013106 (2007)","journal-title":"Int. J. Inf. Sec."},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: IEEE Symposium on Security and Privacy, pp. 11\u201320 (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-540-77505-8_7","volume-title":"Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues","author":"G. Guernic Le","year":"2008","unstructured":"Le Guernic, G., Banerjee, A., Jensen, T.P., Schmidt, D.A.: Automata-based Confidentiality Monitoring. In: Okada, M., Satoh, I. (eds.) ASIAN 2006. LNCS, vol.\u00a04435, pp. 75\u201389. Springer, Heidelberg (2008)"},{"key":"28_CR11","unstructured":"Hole\u010dek, J., Suwimonteerabuth, D., Schwoon, S., Esparza, J.: Introduction to remopla, http:\/\/www.fmi.uni-stuttgart.de\/szs\/tools\/moped\/remopla-intro.pdf"},{"key":"28_CR12","unstructured":"Kiefer, S., Schwoon, S., Suwimonteerabuth, D.: Moped: A model-checker for pushdown systems (2002), http:\/\/www.fmi.uni-stuttgart.de\/szs\/tools\/moped\/"},{"key":"28_CR13","unstructured":"Martini, L.: Iflow: a tool for information flow checking (2005), http:\/\/www.iet.unipi.it\/l.martini\/iflow.html"},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/11863908_18","volume-title":"Computer Security \u2013 ESORICS 2006","author":"J.D.A. Naumann","year":"2006","unstructured":"Naumann, D.A.: From Coupling Relations to Mated Invariants for Checking Information Flow. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol.\u00a04189, pp. 279\u2013296. Springer, Heidelberg (2006)"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"O\u2019Neill, K.R., Clarkson, M.R., Chong, S.: Information-flow security for interactive programs. In: CSFW, pp. 190\u2013201. IEEE (2006)","DOI":"10.1109\/CSFW.2006.16"},{"issue":"1","key":"28_CR16","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/JSAC.2002.806121","volume":"21","author":"A. Sabelfeld","year":"2003","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information-flow security. IEEE Journal on Selected Areas in Communications\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"28_CR17","unstructured":"Schwoon, S.: Model Checking Pushdown Systems. Ph.D. thesis, Technical University of Munich, Munich, Germany (2002)"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Smith, S.F., Thober, M.: Improving usability of information flow security in java. In: PLAS, pp. 11\u201320. ACM (2007)","DOI":"10.1145\/1255329.1255332"},{"key":"28_CR19","doi-asserted-by":"crossref","unstructured":"Sun, C., Tang, L., Chen, Z.: Secure information flow by model checking pushdown system. In: UIC-ATC, pp. 586\u2013591. IEEE (2009)","DOI":"10.1109\/UIC-ATC.2009.44"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Sun, C., Tang, L., Chen, Z.: Secure information flow in java via reachability analysis of pushdown system. In: QSIC, pp. 142\u2013150. IEEE (2010)","DOI":"10.1109\/QSIC.2010.50"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Sun, C., Tang, L., Chen, Z.: A new enforcement on declassification with reachability analysis. In: INFOCOM Workshops, pp. 1024\u20131029. IEEE (2011)","DOI":"10.1109\/INFCOMW.2011.5928777"},{"key":"28_CR22","doi-asserted-by":"crossref","unstructured":"Sun, C., Zhai, E., Chen, Z., Ma, J.: A multi-compositional enforcement on information flow security. Tech. rep., Institute of Software, School of EECS, Peking University (2011), http:\/\/infosec.pku.edu.cn\/~suncong\/sun2011a-tr.pdf","DOI":"10.1007\/978-3-642-25243-3_28"},{"key":"28_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"352","DOI":"10.1007\/11547662_24","volume-title":"Static Analysis","author":"T. Terauchi","year":"2005","unstructured":"Terauchi, T., Aiken, A.: Secure Information Flow as a Safety Problem. In: Hankin, C., Siveroni, I. (eds.) SAS 2005. LNCS, vol.\u00a03672, pp. 352\u2013367. Springer, Heidelberg (2005)"},{"issue":"2\/3","key":"28_CR24","doi-asserted-by":"publisher","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"D.M. Volpano","year":"1996","unstructured":"Volpano, D.M., Irvine, C.E., Smith, G.: A sound type system for secure flow analysis. Journal of Computer Security\u00a04(2\/3), 167\u2013188 (1996)","journal-title":"Journal of Computer Security"},{"key":"28_CR25","doi-asserted-by":"crossref","unstructured":"Volpano, D.M., Smith, G.: Eliminating covert flows with minimum typings. In: CSFW, pp. 156\u2013169. IEEE (1997)","DOI":"10.1109\/CSFW.1997.596807"}],"container-title":["Lecture Notes in Computer Science","Information and Communications Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25243-3_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T15:42:07Z","timestamp":1741880527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25243-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252426","9783642252433"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25243-3_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}