{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:19:21Z","timestamp":1775053161205,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540682356","type":"print"},{"value":"9783540682370","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68237-0_19","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T05:36:00Z","timestamp":1212557760000},"page":"262-277","source":"Crossref","is-referenced-by-count":23,"title":["Provably Correct Runtime Monitoring"],"prefix":"10.1007","author":[{"given":"Irem","family":"Aktug","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mads","family":"Dam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dilian","family":"Gurov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Aktug, I., Dam, M., Gurov, D.: Provably correct runtime monitoring. Technical Report TRITA-CSC-TCS 2008:1, CSC KTH (2007), http:\/\/www.csc.kth.se\/~irem\/S3MS\/TechRep07.pdf"},{"key":"19_CR2","unstructured":"Aktug, I., Linde, J.: An inliner tool for mobile platforms., http:\/\/www.csc.kth.se\/~irem\/S3MS\/Inliner\/"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Aktug, I., Naliuka, K.: ConSpec \u2013 a formal language for policy specification. In: Piessens, F., Massacci, F. (eds.) Proc. of The First Int. Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM 2007). Electronic Notes in Theoretical Computer Science, vol.\u00a0197-1, pp. 45\u201358 (2007)","DOI":"10.1016\/j.entcs.2007.10.013"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Bannwart, F.Y., M\u00fcller, P.: A logic for bytecode. In: Proc. of BYTECODE 2005. ENTCS, vol.\u00a0141-1, pp. 255\u2013273 (2005)","DOI":"10.1016\/j.entcs.2005.02.026"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Composing security policies with Polymer. In: Proc. of the ACM SIGPLAN Conf. on Prog. Lang. Design and Implementation, pp. 305\u2013314 (2005)","DOI":"10.1145\/1065010.1065047"},{"key":"19_CR6","first-page":"246","volume-title":"IEEE Symp. on Security and Privacy","author":"\u00da. Erlingsson","year":"2000","unstructured":"Erlingsson, \u00da., Schneider, F.B.: IRM enforcement of Java stack inspection. In: IEEE Symp. on Security and Privacy, p. 246. IEEE Computer Society Press, Los Alamitos (2000)"},{"issue":"6","key":"19_CR7","doi-asserted-by":"publisher","first-page":"1196","DOI":"10.1145\/330643.330646","volume":"21","author":"S.N. Freund","year":"1999","unstructured":"Freund, S.N., Mitchell, J.C.: A type system for object initialization in the Java bytecode language. ACM Trans. Program. Lang. Syst.\u00a021(6), 1196\u20131250 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Hamlen, K.W., Morrisett, G., Schneider, F.B.: Certified in-lined reference monitoring on.NET. In: Proc. of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2006), June 2006, pp. 7\u201316 (2006)","DOI":"10.1145\/1134744.1134748"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/1111596.1111601","volume":"28","author":"K.W. Hamlen","year":"2006","unstructured":"Hamlen, K.W., Morrisett, G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst.\u00a028(1), 175\u2013205 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-46002-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Havelund","year":"2002","unstructured":"Havelund, K., Rosu, G.: Synthesizing monitors for safety properties. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol.\u00a02280, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"issue":"1","key":"19_CR11","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. Infinite Systems Security\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Trans. Infinite Systems Security"}],"container-title":["Lecture Notes in Computer Science","FM 2008: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68237-0_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:43:36Z","timestamp":1620017016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68237-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540682356","9783540682370"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68237-0_19","relation":{},"subject":[]}}