{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T01:08:38Z","timestamp":1794359318542,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540884781","type":"print"},{"value":"9783540884798","type":"electronic"}],"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-88479-8_16","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T09:18:43Z","timestamp":1225790323000},"page":"221-236","source":"Crossref","is-referenced-by-count":3,"title":["A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Greci","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Martinelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ilaria","family":"Matteucci","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"At your service: Service Engineering in the Information Society Technologies Program","author":"N. Dragoni","year":"2008","unstructured":"Dragoni, N., Martinelli, F., Massacci, F., Mori, P., Schaefer, C., Walter, T., Vetillard, E.: Security-by-contract (SxC) for software and services of mobile systems. In: At your service: Service Engineering in the Information Society Technologies Program. MIT Press, Cambridge (2008)"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-540-73408-6_21","volume-title":"Public Key Infrastructure","author":"N. Dragoni","year":"2007","unstructured":"Dragoni, N., Massacci, F., Naliuka, K., Siahaan, I.: Security-by-contract: Toward a semantics for digital signatures on mobile code. In: L\u00f3pez, J., Samarati, P., Ferrer, J.L. (eds.) EuroPKI 2007. LNCS, vol.\u00a04582, pp. 297\u2013312. Springer, Heidelberg (2007)"},{"issue":"1","key":"16_CR3","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"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.entcs.2006.12.003","volume":"168","author":"F. Martinelli","year":"2007","unstructured":"Martinelli, F., Matteucci, I.: An approach for the specification, verification and synthesis of secure systems. Electr. Notes Theor. Comput. Sci.\u00a0168, 29\u201343 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1","key":"16_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2007.10.013","volume":"197","author":"I. Aktug","year":"2008","unstructured":"Aktug, I., Naliuka, K.: Conspec \u2013 A formal language for policy specification. Electr. Notes Theor. Comput. Sci.\u00a0197(1), 45\u201358 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/335169.335201","volume-title":"NSPW 1999: Proceedings of the 1999 workshop on New security paradigms","author":"\u00da. Erlingsson","year":"2000","unstructured":"Erlingsson, \u00da., Schneider, F.B.: Sasi enforcement of security policies: a retrospective. In: NSPW 1999: Proceedings of the 1999 workshop on New security paradigms, pp. 87\u201395. ACM, New York (2000)"},{"key":"16_CR7","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)"},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2006.08.029","volume":"179","author":"F. Martinelli","year":"2007","unstructured":"Martinelli, F., Matteucci, I.: Through modeling to synthesis of security automata. Electr. Notes Theor. Comput. Sci.\u00a0179, 31\u201346 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"16_CR9","first-page":"353","volume-title":"MFPS 1992: Selected papers of the meeting on Mathematical foundations of programming semantics","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M., Lin, H.: Symbolic bisimulations. In: MFPS 1992: Selected papers of the meeting on Mathematical foundations of programming semantics, Amsterdam, The Netherlands, pp. 353\u2013389. Elsevier Science Publishers, Amsterdam (1995)"},{"key":"16_CR10","series-title":"Handbook of Process Algebra","volume-title":"A Symbolic Approach to Value-Passing Processes","author":"M. Hennessy","year":"2001","unstructured":"Hennessy, M., Lin, H.: A Symbolic Approach to Value-Passing Processes. In: Handbook of Process Algebra. Elsevier, Amsterdam (2001)"},{"key":"16_CR11","unstructured":"Dragoni, N., Massacci, F., Naliuka, K., Siahaan, I., Quillinan, T., Matteucci, I., Schaefer, C.: Deliverable 2.1.4-Methodologies and tools for contract matching- S3MS European Project (2007)"},{"key":"16_CR12","unstructured":"Aktung, I.: Syntax and semantics of conspec (last visited 09\/07\/2008) (2007), https:\/\/trinity.dit.unitn.it\/bscw\/bscw.cgi\/d33953\/ConSpec"},{"key":"16_CR13","first-page":"25","volume-title":"Security-by-contract on the .net platform","author":"L. Desmet","year":"2008","unstructured":"Desmet, L., Joosen, W., Massacci, F., Philippaerts, P., Piessens, F., Siahaan, I., Vanoverberghe, D.: Security-by-contract on the.net platform, vol.\u00a013, pp. 25\u201332. Elsevier Advanced Technology Publications, Oxford (2008)"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2007.03.025","volume":"186","author":"I. Matteucci","year":"2007","unstructured":"Matteucci, I.: Automated synthesis of enforcing mechanisms for security properties in a timed setting. Electr. Notes Theor. Comput. Sci.\u00a0186, 101\u2013120 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"16_CR15","unstructured":"Martinelli, F., Matteucci, I.: Partial model checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties. Technical report, IIT-CNR (2005) Presented at the International Workshop on Foundations of Computer Security (FCS 2005)"},{"key":"16_CR16","volume-title":"A Symbolic Approach to Value-passing Processes","author":"A. Ingolfsdottir","year":"2001","unstructured":"Ingolfsdottir, A., Lin, H.: Handbook of Processes Algebra. In: A Symbolic Approach to Value-passing Processes, ch.\u00a07. Elsevier, Amsterdam (2001)"}],"container-title":["Communications in Computer and Information Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88479-8_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,19]],"date-time":"2021-09-19T18:37:47Z","timestamp":1632076667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88479-8_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540884781","9783540884798"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8_16","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-88479-8","asserted-by":"object"}]},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}