{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:38:28Z","timestamp":1725521908581},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787686"},{"type":"electronic","value":"9783540787693"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-78769-3_14","type":"book-chapter","created":{"date-parts":[[2008,11,26]],"date-time":"2008-11-26T07:05:56Z","timestamp":1227683156000},"page":"201-217","source":"Crossref","is-referenced-by-count":1,"title":["Action Refinement in Process Algebra and Security Issues"],"prefix":"10.1007","author":[{"given":"Annalisa","family":"Bossi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabina","family":"Rossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1006\/inco.1994.1096","volume":"115","author":"L. Aceto","year":"1994","unstructured":"Aceto, L., Hennessy, M.: Adding Action Refinement to a Finite Process Algebra. Information and Computation\u00a0115(2), 179\u2013247 (1994)","journal-title":"Information and Computation"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.entcs.2004.02.006","volume":"99","author":"A. Bossi","year":"2004","unstructured":"Bossi, A., Focardi, R., Macedonio, D., Piazza, C., Rossi, S.: Unwinding in Information Flow Security. Electronic Notes in Theoretical Computer Science\u00a099, 127\u2013154 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/SEFM.2003.1236206","volume-title":"Proc. of the 1st IEEE Int. Conference on Software Engineering and Formal Methods (SEFM 2003)","author":"A. Bossi","year":"2003","unstructured":"Bossi, A., Focardi, R., Piazza, C., Rossi, S.: Refinement Operators and Information Flow Security. In: Proc. of the 1st IEEE Int. Conference on Software Engineering and Formal Methods (SEFM 2003), pp. 44\u201353. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"14_CR4","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/CSFW.2004.1310741","volume-title":"Proc. of the 17th IEEE Computer Security Foundations Workshop (CSFW 2004)","author":"A. Bossi","year":"2004","unstructured":"Bossi, A., Piazza, C., Rossi, S.: Modelling Downgrading in Information Flow Security. In: Proc. of the 17th IEEE Computer Security Foundations Workshop (CSFW 2004), pp. 187\u2013201. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"14_CR5","unstructured":"Bossi, A., Piazza, C., Rossi, S.: Action Refinement in Process Algebra and Security Issues. Technical Report CS-2007-8, Dipartimento di Informatica, Universit\u00e0 Ca\u2019 Foscari di Venezia, Italy (2007)"},{"key":"14_CR6","first-page":"136","volume":"38","author":"G. Boudol","year":"1989","unstructured":"Boudol, G.: Atomic Actions. Bulletin of the EATCS\u00a038, 136\u2013144 (1989)","journal-title":"Bulletin of the EATCS"},{"issue":"4","key":"14_CR7","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1145\/566385.566386","volume":"3","author":"M. Bravetti","year":"2002","unstructured":"Bravetti, M., Gorrieri, R.: Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. ACM Transaction on Computational Logic\u00a03(4), 465\u2013520 (2002)","journal-title":"ACM Transaction on Computational Logic"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Stepwise Refinement of Distributed Systems","year":"1990","unstructured":"de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.): REX 1989. LNCS, vol.\u00a0430. Springer, Heidelberg (1990)"},{"issue":"1","key":"14_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/FI-1994-201231","volume":"20","author":"J.W. Bakker de","year":"1994","unstructured":"de Bakker, J.W., de Vink, E.P.: Bisimulation Semantics for Concurrency with Atomicity and Action Refinement. Fundamenta Informaticae\u00a020(1), 3\u201334 (1994)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"14_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1006\/inco.1995.1142","volume":"122","author":"P. Degano","year":"1995","unstructured":"Degano, P., Gorrieri, R.: A Causal Operational Semantics of Action Refinement. Information and Computation\u00a0122(1), 97\u2013119 (1995)","journal-title":"Information and Computation"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Foundations of Security Analysis and Design","author":"R. Gorrieri","year":"2001","unstructured":"Gorrieri, R., Focardi, R.: Classification of Security Properties (Part I: Information Flow). In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2001. LNCS, vol.\u00a02171, Springer, Heidelberg (2001)"},{"issue":"1","key":"14_CR12","doi-asserted-by":"publisher","first-page":"65","DOI":"10.3233\/JCS-2006-14103","volume":"14","author":"R. Focardi","year":"2006","unstructured":"Focardi, R., Rossi, S.: Information Flow Security in Dynamic Contexts. Journal of Computer Security\u00a014(1), 65\u2013110 (2006)","journal-title":"Journal of Computer Security"},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/SP.1987.10012","volume-title":"Proc. of the IEEE Symposium on Security and Privacy (SSP 1987)","author":"S.N. Foley","year":"1987","unstructured":"Foley, S.N.: A Universal Theory of Information Flow. In: Proc. of the IEEE Symposium on Security and Privacy (SSP 1987), pp. 116\u2013122. IEEE Computer Society Press, Los Alamitos (1987)"},{"key":"14_CR14","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/SP.1982.10014","volume-title":"Proc. of the IEEE Symposium on Security and Privacy (SSP 1982)","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Meseguer, J.: Security Policies and Security Models. In: Proc. of the IEEE Symposium on Security and Privacy (SSP 1982), pp. 11\u201320. IEEE Computer Society Press, Los Alamitos (1982)"},{"issue":"2","key":"14_CR15","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1006\/inco.1996.0026","volume":"125","author":"U. Goltz","year":"1996","unstructured":"Goltz, U., Gorrieri, R., Rensink, A.: Comparing Syntactic and Semantic Action Refinement. Information and Computation\u00a0125(2), 118\u2013143 (1996)","journal-title":"Information and Computation"},{"key":"14_CR16","unstructured":"Gorrieri, R., Rensink, A.: Action Refinement. Technical Report UBLCS-99-09, University of Bologna (Italy) (1999)"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/SECPRI.1989.36298","volume-title":"Proc. of the IEEE Symposium on Security and Privacy (SSP 1989)","author":"J. Jacob","year":"1989","unstructured":"Jacob, J.: On the Derivation of Secure Components. In: Proc. of the IEEE Symposium on Security and Privacy (SSP 1989), pp. 242\u2013247. IEEE Computer Society Press, Los Alamitos (1989)"},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1109\/CSFW.2000.856936","volume-title":"Proc. of the IEEE Computer Security Foundations Workshop (CSFW 2000)","author":"H. Mantel","year":"2000","unstructured":"Mantel, H.: Possibilistic Definitions of Security - An Assembly Kit -. In: Proc. of the IEEE Computer Security Foundations Workshop (CSFW 2000), pp. 185\u2013199. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"14_CR19","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1109\/RISP.1990.63849","volume-title":"Proc. of the IEEE Symposium on Security and Privacy (SSP1990)","author":"J. McLean","year":"1990","unstructured":"McLean, J.: Security Models and Information Flow. In: Proc. of the IEEE Symposium on Security and Privacy (SSP1990), pp. 180\u2013187. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"14_CR20","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/3-540-54345-7_78","volume-title":"Mathematical Foundations of Computer Science 1991","author":"U. Montanari","year":"1991","unstructured":"Montanari, U., Sassone, V.: CCS Dynamic Bisimulation is Progressing. In: Tarlecki, A. (ed.) MFCS 1991. LNCS, vol.\u00a0520, pp. 346\u2013356. Springer, Heidelberg (1991)"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/BFb0013034","volume-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","author":"M. Nielsen","year":"1989","unstructured":"Nielsen, M., Engberg, U., Larsen, K.S.: Fully Abstract Models for a Process Language with Refinement. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol.\u00a0354, pp. 523\u2013548. Springer, Heidelberg (1989)"},{"issue":"1","key":"14_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 Communication\u00a021(1), 5\u201319 (2003)","journal-title":"IEEE Journal on Selected Areas in Communication"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-540-75227-1_10","volume-title":"Formal Aspects in Security and Trust","author":"F. Seehusen","year":"2007","unstructured":"Seehusen, F., St\u00f8len, K.: Maintaining Information Flow Security Under Refinement and Transformation. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol.\u00a04691, pp. 143\u2013157. Springer, Heidelberg (2007)"},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume-title":"Mathematical Foundations of Computer Science 1989","author":"R.J. Glabbeek van","year":"1989","unstructured":"van Glabbeek, R.J., Goltz, U.: Equivalence Notions for Concurrent Systems and Refinement of Actions. In: Kreczmar, A., Mirkowska, G. (eds.) MFCS 1989. LNCS, vol.\u00a0379, pp. 237\u2013248. Springer, Heidelberg (1989)"},{"issue":"4\/5","key":"14_CR26","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R.J. Glabbeek van","year":"2001","unstructured":"van Glabbeek, R.J., Goltz, U.: Refinement of Actions and Equivalence Notions for Concurrent Systems. Acta Informatica\u00a037(4\/5), 229\u2013327 (2001)","journal-title":"Acta Informatica"},{"issue":"2","key":"14_CR27","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1997.2634","volume":"136","author":"R.J. Glabbeek van","year":"1997","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: The Difference between Splitting in n and n+1. Information and Computation\u00a0136(2), 109\u2013142 (1997)","journal-title":"Information and Computation"},{"issue":"4","key":"14_CR28","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth, N.: Program Development by Stepwise Refinement. Communications of the ACM\u00a014(4), 221\u2013227 (1971)","journal-title":"Communications of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78769-3_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,23]],"date-time":"2021-09-23T02:39:59Z","timestamp":1632364799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78769-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787686","9783540787693"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78769-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}