{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T14:20:56Z","timestamp":1773843656717,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642548475","type":"print"},{"value":"9783642548482","type":"electronic"}],"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-642-54848-2_1","type":"book-chapter","created":{"date-parts":[[2014,7,9]],"date-time":"2014-07-09T15:35:39Z","timestamp":1404920139000},"page":"1-20","source":"Crossref","is-referenced-by-count":14,"title":["Model-Driven Information Flow Security for Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Najah","family":"Ben Said","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takoua","family":"Abdellatif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saddek","family":"Bensalem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Bozga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","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":"1_CR2","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Sfaxi, L., Robbana, R., Lakhnech, Y.: Automating information flow control in component-based distributed systems. In: 14th International ACM Sigsoft Symposium on Component Based Software Engineering (CBSE 2011), pp. 73\u201382. ACM (2011)","DOI":"10.1145\/2000229.2000241"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Accorsi, R., Wonnemann, C., Dochow, S.: Swat: A security workflow analysis toolkit for reliably secure process-aware information systems. In: Sixth International Conference on Availability, Reliability and Security, ARES 2011, pp. 692\u2013697. IEEE (2011)","DOI":"10.1109\/ARES.2011.108"},{"issue":"3","key":"1_CR4","first-page":"41","volume":"28","author":"A. Basu","year":"2011","unstructured":"Basu, A., Bensalem, S., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.-H., Sifakis, J.: Rigorous component-based design using the BIP framework. IEEE Software, Special Edition \u2013 Software Components beyond Programming \u2013 from Routines to Services\u00a028(3), 41\u201348 (2011)","journal-title":"IEEE Software, Special Edition \u2013 Software Components beyond Programming \u2013 from Routines to Services"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-85571-2_13","volume-title":"Architecting Dependable Systems V","author":"C. Bartolini","year":"2008","unstructured":"Bartolini, C., Bertolino, A., Marchetti, E., Parissis, I.: Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples. In: de Lemos, R., Di Giandomenico, F., Gacek, C., Muccini, H., Vieira, M. (eds.) Architecting Dependable Systems V. LNCS, vol.\u00a05135, pp. 298\u2013325. Springer, Heidelberg (2008)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling Heterogeneous Real-time Systems in BIP. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), pp. 3\u201312. IEEE Computer Society Press (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1125808.1125810","volume":"15","author":"D. Basin","year":"2006","unstructured":"Basin, D., Doser, J., Lodderstedt, T.: Model driven security: from uml models to access control infrastructures. ACM Transactions on Software Engineering and Methodology\u00a015, 39\u201391 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Bell, E.D., La Padula, J.L.: Secure computer system: Unified exposition and Multics interpretation (1976)","DOI":"10.21236\/ADA023588"},{"issue":"7","key":"1_CR9","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"Dorothy E. Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Communications of the ACM, 504\u2013513 (1977)","journal-title":"Communications of the ACM"},{"issue":"5","key":"1_CR10","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1145\/1095809.1095813","volume":"39","author":"P. Efstathopoulos","year":"2005","unstructured":"Efstathopoulos, P., Krohn, M., VanDeBogart, S., Frey, C., Ziegler, D., Kohler, E., Mazi\u00e8res, D., Kaashoek, F., Morris, R.: Labels and Event Processes in the Asbestos Operating System. SIGOPS Operating Systems Review\u00a039(5), 17\u201330 (2005)","journal-title":"SIGOPS Operating Systems Review"},{"key":"1_CR11","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":"1_CR12","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":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-540-31982-5_19","volume-title":"Foundations of Software Science and Computational Structures","author":"R. Focardi","year":"2005","unstructured":"Focardi, R., Rossi, S., Sabelfeld, A.: Bridging language-based and process calculi security. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 299\u2013315. Springer, Heidelberg (2005)"},{"key":"1_CR14","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":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/11734666_15","volume-title":"Security in Pervasive Computing","author":"D. Hutter","year":"2006","unstructured":"Hutter, D., Volkamer, M.: Information flow control to secure dynamic web service composition. In: Clark, J.A., Paige, R.F., Polack, F.A.C., Brooke, P.J. (eds.) SPC 2006. LNCS, vol.\u00a03934, pp. 196\u2013210. Springer, Heidelberg (2006)"},{"key":"1_CR16","unstructured":"http:\/\/www.cs.cornell.edu\/jif\/"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Richard Kuhn, D.: Role Based Access Control on MLS Systems without Kernel Changes. In: ACM Workshop on Role Based Access Control (RBAC 1998), pp. 25\u201332. ACM (1998)","DOI":"10.1145\/286884.286890"},{"issue":"6","key":"1_CR18","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/1323293.1294293","volume":"41","author":"M. Krohn","year":"2007","unstructured":"Krohn, M., Yip, A., Brodsky, M., Cliffer, N., Frans Kaashoek, M., Kohler, E., Morris, R.: Information Flow Control for Standard OS Abstractions. SIGOPS Operating Systems Review\u00a041(6), 321\u2013334 (2007)","journal-title":"SIGOPS Operating Systems Review"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Mantel, H.: Possibilistic Definitions of Security - An Assembly Kit. In: 13th IEEE Workshop on Computer Security Foundations (CSFW 2000), p. 185. IEEE Computer Society (2000)","DOI":"10.1109\/CSFW.2000.856936"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"McCullough, D.: Noninterference and the composability of security properties. In: Security and Privacy (SP 1988), pp. 177\u2013186. IEEE Computer Society (1988)","DOI":"10.1109\/SECPRI.1988.8110"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"McLean, J.: A general theory of composition for trace sets closed under selective interleaving functions. In: Security and Privacy (SP 1994), p. 79. IEEE Computer Society (1994)","DOI":"10.1109\/RISP.1994.296590"},{"key":"1_CR22","unstructured":"Rushby, J.: Noninterference, transitivity, and channel-control security policies. Technical Report CSL-92-2, SRI International (1992)"},{"issue":"1","key":"1_CR23","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) (2003)","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"1_CR24","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/11596981_56","volume-title":"Computational Intelligence and Security","author":"J. Shen","year":"2005","unstructured":"Shen, J., Qing, S., Shen, Q., Li, L.: Covert channel identification founded on information flow analysis. In: Hao, Y., Liu, J., Wang, Y.-P., Cheung, Y.-M., Yin, H., Jiao, L., Ma, J., Jiao, Y.-C. (eds.) CIS 2005. LNCS (LNAI), vol.\u00a03802, pp. 381\u2013387. Springer, Heidelberg (2005)"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1011553200337","volume":"14","author":"A. Sabelfeld","year":"2001","unstructured":"Sabelfeld, A., Sands, D.: A per model of secure information flow in sequential programs. Higher Order Symbolic Computation\u00a014(1), 59\u201391 (2001)","journal-title":"Higher Order Symbolic Computation"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Seehusen, F., St\u00f8len, K.: A Method for Model-driven Information Flow Security. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems, pp. 199\u2013229. IGI Global (2012)","DOI":"10.4018\/978-1-60960-747-0.ch010"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Sandhu, R., Ravi, S., Munawer, Q.: How to do discretionary access control using roles. In: ACM Workshop on Role-Based Access Control (RBAC 1998), pp. 47\u201354. ACM (1998)","DOI":"10.1145\/286884.286893"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Smith, G., Volpano, D.: Secure information flow in a multi-threaded imperative language. In: Symposium on Principles of Programming Languages (POPL 1998), pp. 355\u2013364. ACM (1998)","DOI":"10.1145\/268946.268975"},{"key":"1_CR29","unstructured":"Zeldovich, N., Boyd-Wickizer, S., Mazi\u00e8res, D.: Securing distributed systems with information flow control. In: 5th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2008), pp. 293\u2013308. USENIX Association (2008)"},{"key":"1_CR30","unstructured":"Zdancewic, S.: Challenges for information-flow security. In: Programming Language Interference and Dependence, PLID 2004 (2004)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Zakinthinos, A., Lee, E.S.: A general theory of security properties. In: Security and Privacy (SP 1997), pp. 94\u2013102. IEEE Computer Society (1997)","DOI":"10.1109\/SECPRI.1997.601322"},{"issue":"3","key":"1_CR32","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/566340.566343","volume":"20","author":"S. Zdancewic","year":"2002","unstructured":"Zdancewic, S., Zheng, L., Nystrom, N., Myers, A.C.: Secure program partitioning. ACM Transactions on Computer Systems\u00a020(3), 283\u2013328 (2002)","journal-title":"ACM Transactions on Computer Systems"}],"container-title":["Lecture Notes in Computer Science","From Programs to Systems. The Systems perspective in Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54848-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T18:36:50Z","timestamp":1746297410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54848-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548475","9783642548482"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54848-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}