{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:40:08Z","timestamp":1749598808517,"version":"3.41.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_62","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T22:07:34Z","timestamp":1475618854000},"page":"893-908","source":"Crossref","is-referenced-by-count":2,"title":["A Model-Based Approach to Secure Multiparty Distributed Systems"],"prefix":"10.1007","author":[{"given":"Najah Ben","family":"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","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"62_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-54848-2_1","volume-title":"From Programs to Systems","author":"N Ben Said","year":"2014","unstructured":"Ben Said, N., Abdellatif, T., Bensalem, S., Bozga, M.: Model-driven information flow security for component-based systems. In: Bensalem, S., Lakhneck, Y., Legay, A. (eds.) From Programs to Systems. LNCS, vol. 8415, pp. 1\u201320. Springer, Heidelberg (2014)"},{"key":"62_CR2","doi-asserted-by":"crossref","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time systems in BIP. In: Proceedings of the SEFM 2006, pp. 3\u201312. IEEE Computer Society Press (2006)","DOI":"10.1109\/SEFM.2006.27"},{"key":"62_CR3","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: Automated conflict-free distributed implementation of component-based models. In: Proceedings of the SIES 2010, pp. 108\u2013117. IEEE (2010)","DOI":"10.1109\/SIES.2010.5551377"},{"issue":"5","key":"62_CR4","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/s00446-012-0168-6","volume":"25","author":"B Bonakdarpour","year":"2012","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: A framework for automated distributed implementation of component-based models. Distrib. Comput. 25(5), 383\u2013409 (2012)","journal-title":"Distrib. Comput."},{"key":"62_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 7481, pp. 172\u2013187. Springer, Heidelberg (2012)"},{"key":"62_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 3441, pp. 299\u2013315. Springer, Heidelberg (2005)"},{"key":"62_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 5491, pp. 210\u2013225. Springer, Heidelberg (2009)"},{"issue":"1","key":"62_CR8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/1125808.1125810","volume":"15","author":"DA Basin","year":"2006","unstructured":"Basin, D.A., Doser, J., Lodderstedt, T.: Model driven security: from UML models to access control infrastructures. ACM Trans. Softw. Eng. Methodol. 15(1), 39\u201391 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"62_CR9","doi-asserted-by":"crossref","unstructured":"Chollet, S., Lalanda, P.: Security specification at process level. In: Proceedings of the SCC 2008, pp. 165\u2013172. IEEE Computer Society (2008)","DOI":"10.1109\/SCC.2008.51"},{"key":"62_CR10","unstructured":"Accorsi, R., Wonnemann, C.: Static information flow analysis of workflow models. In: Proceedings of the ISSS and BPSC 2010, LNI, vol. 177, pp. 194\u2013205 (2010)"},{"key":"62_CR11","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"DE Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Commun. ACM 20, 504\u2013513 (1977)","journal-title":"Commun. ACM"},{"key":"62_CR12","doi-asserted-by":"crossref","unstructured":"Goguen, J.A., Meseguer, J.: Security policies and security models. In: 1982 IEEE Symposium on Security and Privacy, pp. 11\u201320. IEEE Computer Society (1982)","DOI":"10.1109\/SP.1982.10014"},{"key":"62_CR13","doi-asserted-by":"crossref","unstructured":"Heintze, N., Riecke, J.G.: The slam calculus: programming with secrecy and integrity. In: Proceedings of the POPL 1998, pp. 365\u2013377. ACM (1998)","DOI":"10.1145\/268946.268976"},{"issue":"2\/3","key":"62_CR14","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/JCS-1996-42-304","volume":"4","author":"DM Volpano","year":"1996","unstructured":"Volpano, D.M., Irvine, C.E., Smith, G.: A sound type system for secure flow analysis. J. Comput. Secur. 4(2\/3), 167\u2013188 (1996)","journal-title":"J. Comput. Secur."},{"key":"62_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/3-540-45309-1_6","volume-title":"Programming Languages and Systems","author":"Peeter Laud","year":"2001","unstructured":"Laud, Peeter: Semantics and program analysis of computationally secure information flow. In: Sands, David (ed.) ESOP 2001. LNCS, vol. 2028, pp. 77\u201391. Springer, Heidelberg (2001)"},{"key":"62_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/11787006_8","volume-title":"Automata, Languages and Programming","author":"P Ad\u00e3o","year":"2006","unstructured":"Ad\u00e3o, P., Fournet, C.: Cryptographically sound implementations for communicating processes. In: Bugliesi, M., Preneel, B., Sassone, V., Wegener, I. (eds.) ICALP 2006. LNCS, vol. 4052, pp. 83\u201394. Springer, Heidelberg (2006)"},{"key":"62_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/978-3-540-77050-3_30","volume-title":"FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science","author":"J Courant","year":"2007","unstructured":"Courant, J., Ene, C., Lakhnech, Y.: Computationally sound typing for non-interference: the case of deterministic encryption. In: Arvind, V., Prasad, S. (eds.) FSTTCS 2007. LNCS, vol. 4855, pp. 364\u2013375. Springer, Heidelberg (2007)"},{"key":"62_CR18","doi-asserted-by":"crossref","unstructured":"Laud, P.: On the computational soundness of cryptographically masked flows. In: Proceedings of the POPL 2008, pp. 337\u2013348. ACM (2008)","DOI":"10.1145\/1328438.1328479"},{"key":"62_CR19","doi-asserted-by":"crossref","unstructured":"Fournet, C., Rezk, T.: Cryptographically sound implementations for typed information-flow security. In: Proceedings of the POPL 2008, pp. 323\u2013335. ACM (2008)","DOI":"10.1145\/1328438.1328478"},{"key":"62_CR20","doi-asserted-by":"crossref","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 Trans. Comput. Syst. 20, 283\u2013328 (2002)","journal-title":"ACM Trans. Comput. Syst."},{"key":"62_CR21","doi-asserted-by":"crossref","unstructured":"Fournet, C., Le Guernic, G., Rezk, T.: A security-preserving compiler for distributed programs: from information-flow policies to cryptographic mechanisms. In: Proceedings of the CCS 2009, pp. 432\u2013441. ACM (2009)","DOI":"10.1145\/1653662.1653715"},{"key":"62_CR22","doi-asserted-by":"crossref","unstructured":"Krohn, M.N., Yip, A., Brodsky, M.Z., Cliffer, N., Kaashoek, M.F., Kohler, E., Morris, R.: Information flow control for standard OS abstractions. In: Proceedings of the SOSP 2007, pp. 321\u2013334. ACM (2007)","DOI":"10.1145\/1294261.1294293"},{"key":"62_CR23","unstructured":"Zeldovich, N., Boyd-Wickizer, S., Kohler, E., Mazi\u00e8res, D.: Making information flow explicit in HiStar. In: Proceedings of the OSDI 2006, pp. 263\u2013278. Usenix Assoc. (2006)"},{"issue":"4","key":"62_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1314299.1314302","volume":"25","author":"S Vandebogart","year":"2007","unstructured":"Vandebogart, S., Efstathopoulos, P., Kohler, E., Krohn, M.N., Frey, C., Ziegler, D., Kaashoek, M.F., Morris, R., Mazi\u00e8res, D.: Labels and event processes in the Asbestos operating system. ACM Trans. Comput. Syst. 25(4), 1\u201311 (2007)","journal-title":"ACM Trans. Comput. Syst."},{"key":"62_CR25","unstructured":"Zeldovich, N., Boyd-Wickizer, S., Mazi\u00e8res, D.: Securing distributed systems with information flow control. In: Proceedings of the NSDI 2008, pp. 293\u2013308. Usenix Assoc. (2008)"},{"issue":"5","key":"62_CR26","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1002\/spe.906","volume":"39","author":"P Parrend","year":"2009","unstructured":"Parrend, P., Fr\u00e9not, S.: Security benchmarks of OSGi platforms: toward hardened OSGi. Softw. Pract. Exper. 39(5), 471\u2013499 (2009)","journal-title":"Softw. Pract. Exper."},{"issue":"5","key":"62_CR27","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1016\/j.jss.2006.08.039","volume":"80","author":"I Kuz","year":"2007","unstructured":"Kuz, I., Liu, Y., Gorton, I., Heiser, G.: Camkes: a component model for secure microkernel-based embedded systems. J. Syst. Softw. 80(5), 687\u2013699 (2007)","journal-title":"J. Syst. Softw."},{"key":"62_CR28","doi-asserted-by":"crossref","unstructured":"Abdellatif, T., Sfaxi, L., Robbana, R., Lakhnech, Y.: Automating information flow control in component-based distributed systems. In: Proceedings of the CBSE 2011, pp. 73\u201382. ACM (2011)","DOI":"10.1145\/2000229.2000241"},{"key":"62_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-319-28934-2_6","volume-title":"Formal Aspects of Component Software","author":"N Ben Said","year":"2016","unstructured":"Ben Said, N., Abdellatif, T., Bensalem, S., Bozga, M.: A robust framework for securing composed web services. In: Braga, C., et al. (eds.) FACS 2015. LNCS, vol. 9539, pp. 105\u2013122. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-28934-2_6"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_62","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T23:11:44Z","timestamp":1749597104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}