{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T06:21:10Z","timestamp":1738131670735,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540791034"},{"type":"electronic","value":"9783540791041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79104-1_17","type":"book-chapter","created":{"date-parts":[[2008,3,13]],"date-time":"2008-03-13T07:28:21Z","timestamp":1205393301000},"page":"233-247","source":"Crossref","is-referenced-by-count":2,"title":["Synthesising Monitors from High-Level Policies for the Safe Execution of Untrusted Software"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","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, DIKU Technical Report, July 25\u201326, pp. 95\u2013104 (2002)"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: A language and system for composing security policies. Technical Report TR-699-04, Princeton University (January 2004)","DOI":"10.1145\/1065010.1065047"},{"key":"17_CR3","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/1065010.1065047","volume-title":"PLDI 2005: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation","author":"L. Bauer","year":"2005","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Composing security policies with Polymer. In: PLDI 2005: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, New York, NY, USA, pp. 305\u2013314. ACM, New York (2005)"},{"key":"17_CR4","first-page":"411","volume-title":"ICSE 1999: Proceedings of the 21st international conference on Software engineering","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE 1999: Proceedings of the 21st international conference on Software engineering, Los Alamitos, CA, USA, pp. 411\u2013420. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Edjlali, G., Acharya, A., Chaudhary, V.: History-based access-control for mobile code. Technical report, University of California at Santa Barbara, Santa Barbara, CA, USA (1998)","DOI":"10.1145\/288090.288102"},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1109\/SECPRI.2000.848461","volume-title":"Proceedings of the 2000 IEEE Symposium on Security and Privacy (SP 2000)","author":"U. Erlingsson","year":"2000","unstructured":"Erlingsson, U., Schneider, F.B.: IRM enforcement of Java stack inspection. In: Proceedings of the 2000 IEEE Symposium on Security and Privacy (SP 2000), Washington, DC, USA, p. 246. IEEE Computer Society, Los Alamitos (2000)"},{"key":"17_CR7","first-page":"32","volume-title":"IEEE Symposium on Security and Privacy","author":"D. Evans","year":"1999","unstructured":"Evans, D., Twyman, A.: Flexible policy-directed code safety. In: IEEE Symposium on Security and Privacy, pp. 32\u201345. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"17_CR8","series-title":"Professional Computing Series","volume-title":"Forensic Discovery","author":"D. Farmer","year":"2004","unstructured":"Farmer, D., Venema, W.: Forensic Discovery. Professional Computing Series. Addison-Wesley, Reading (2004)"},{"issue":"1\u20132","key":"17_CR9","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J. Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. International Journal of Information Security\u00a04(1\u20132), 2\u201316 (2005)","journal-title":"International Journal of Information Security"},{"issue":"4","key":"17_CR10","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1145\/363516.363526","volume":"9","author":"A.C. Myers","year":"2000","unstructured":"Myers, A.C., Liskov, B.: Protecting privacy using the decentralized label model. ACM Transactions on Software Engineering Methodology\u00a09(4), 410\u2013442 (2000)","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"17_CR11","unstructured":"Provos, N.: Improving host security with system call policies. In: Paxson, V. (ed.) Proceedings of 12 th USENIX Security Symposium, Washington, DC, USENIX, pp. 128\u2013146 (August 2003)"},{"issue":"1","key":"17_CR12","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 Trans. Inf. Syst. Secur.\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Sekar, R., Uppuluri, P.: Synthesizing fast intrusion prevention\/detection systems from high-level specifications. In: SSYM 1999: Proceedings of the 8th conference on USENIX Security Symposium, Berkeley, CA, USA, p. 6. USENIX Association (1999)","DOI":"10.1145\/319709.319712"}],"container-title":["Lecture Notes in Computer Science","Information Security Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79104-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T02:41:07Z","timestamp":1738118467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79104-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540791034","9783540791041"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79104-1_17","relation":{},"subject":[]}}