{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:28:02Z","timestamp":1737437282805,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752264"},{"type":"electronic","value":"9783540752271"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75227-1_8","type":"book-chapter","created":{"date-parts":[[2007,9,13]],"date-time":"2007-09-13T01:32:47Z","timestamp":1189647167000},"page":"112-126","source":"Crossref","is-referenced-by-count":1,"title":["A Tool for the Synthesis of Controller Programs"],"prefix":"10.1007","author":[{"given":"Ilaria","family":"Matteucci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Andersen, H.R.: Verification of Temporal Properties of Concurrent Systems. PhD thesis, Department of Computer Science, Aarhus University, Denmark (1993)","DOI":"10.7146\/dpb.v22i445.6762"},{"key":"8_CR2","first-page":"398","volume-title":"LICS 1995","author":"H.R. Andersen","year":"1995","unstructured":"Andersen, H.R.: Partial model checking. In: LICS 1995. Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, p. 398. IEEE Computer Society Press, Los Alamitos (1995)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.: Policy framings for access control. In: Proceedings of the 2005 workshop on Issues in the theory of security, pp. 5 \u2013 11, Long Beach, California (2005)","DOI":"10.1145\/1045405.1045407"},{"key":"8_CR4","unstructured":"Bauer, L., Ligatti, J., Walker, D.: More enforceable security policies. In: Cervesato, I. (ed.) Foundations of Computer Security. Proceedings of the FLoC 2002 workshop on Foundations of Computer Security, Copenhagen, Denmark, 25\u201326 July 2002, pp. 95\u2013104. DIKU Technical Report (2002)"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. International Journal of Information Security.\u00a04(1\u20132) (2005)","DOI":"10.1007\/s10207-004-0046-8"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can\u2019t be traced. J.ACM\u00a042(1) (1995)","DOI":"10.1145\/200836.200876"},{"issue":"1","key":"8_CR7","doi-asserted-by":"crossref","first-page":"5","DOI":"10.3233\/JCS-1994\/1995-3103","volume":"3","author":"R. Focardi","year":"1997","unstructured":"Focardi, R., Gorrieri, R.: A classification of security properties. Journal of Computer Security\u00a03(1), 5\u201333 (1997)","journal-title":"Journal of Computer Security"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Mathematical Foundations of Computer Science 1995","author":"D. Janin","year":"1995","unstructured":"Janin, D., Walukiewicz, I.: Automata for the \u03bc-calculus and related results. In: H\u00e1jek, P., Wiedermann, J. (eds.) MFCS 1995. LNCS, vol.\u00a0969, Springer, Heidelberg (1995)"},{"key":"8_CR9","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J.: The objective caml systemrelease 3.09 (2004)"},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/j.tcs.2003.11.019","volume":"315","author":"G. Lowe","year":"2004","unstructured":"Lowe, G.: Semantic models for information flow. Theor. Comput. Sci.\u00a0315(1), 209\u2013256 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"8_CR11","unstructured":"Martinelli, F., Matteucci, I.: Partial model checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties. In: Presented at the International Workshop on Foundations of Computer Security (FCS 2005) (2005)"},{"key":"8_CR12","unstructured":"Martinelli, F., Matteucci, I.: Modeling security automata with process algebras and related results. In: Informal proceedings Presented at the 6th International Workshop on Issues in the Theory of Security (WITS 2006) (March 2006)"},{"key":"8_CR13","unstructured":"Martinelli, F., Matteucci, I.: Through modeling to synthesis of security automata. In: Proceedings of ENTCS STM06 (2006)"},{"key":"8_CR14","unstructured":"Matteucci, I.: Automated synthesis of enforcing mechanisms for security properties in a timed setting. In: Proceedings of ENTCS ICS 2006 (2006)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Milner, R.: Synthesis of communicating behaviour. In: Proceedings of 7th MFCS, Poland (1978)","DOI":"10.1007\/3-540-08921-7_57"},{"key":"8_CR16","volume-title":"Communicating and mobile systems: the \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Transactions on Information and System Security\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Transactions on Information and System Security"},{"issue":"3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0890-5401(89)90031-X","volume":"81","author":"R.S. Street","year":"1989","unstructured":"Street, R.S., Emerson, E.A.: An automata theoretic procedure for the propositional \u03bc-calculus. Information and Computation\u00a081(3), 249\u2013264 (1989)","journal-title":"Information and Computation"},{"key":"8_CR19","unstructured":"Walukiewicz, I.: A Complete Deductive System for the \u03bc-Calculus. PhD thesis, Institute of Informatics, Warsaw University (June 1993)"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects in Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75227-1_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T23:40:08Z","timestamp":1737416408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75227-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752264","9783540752271"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75227-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}