{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:40:15Z","timestamp":1750308015777,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,10,30]]},"DOI":"10.1145\/1501434.1501480","type":"proceedings-article","created":{"date-parts":[[2009,2,4]],"date-time":"2009-02-04T13:02:04Z","timestamp":1233752524000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Execution monitoring enforcement for limited-memory systems"],"prefix":"10.1145","author":[{"given":"Chamseddine","family":"Talhi","sequence":"first","affiliation":[{"name":"Laval University, Quebec (Qc), Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nadia","family":"Tawbi","sequence":"additional","affiliation":[{"name":"Laval University, Quebec (Qc), Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Debbabi","sequence":"additional","affiliation":[{"name":"Concordia University, Montral (Qc), Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065047"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90258-4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00104-2"},{"key":"e_1_3_2_1_7_1","first-page":"1827","volume-title":"In Proceedings of the 8th National Computer Security Conference","author":"Boebert W. E.","year":"1985"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00332-6"},{"key":"e_1_3_2_1_10_1","first-page":"246","volume-title":"Proceedings of the IEEE Symposium on Security and Privacy (S&P 2000","author":"Schneider F. B.","year":"2000"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/335169.335201"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2004.1301314"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503301"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010241"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/288090.288102"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111596.1111601"},{"key":"e_1_3_2_1_18_1","unstructured":"M.\n       \n      Kim S.\n       \n      Kannan I.\n       \n      Lee S.\n       \n      Sokolsky and \n      \n      \n      M.\n       \n      Viswanathan\n      \n  \n  . \n  Computational analysis of run-time monitoring. In K. Havelund and G. Ro\u015fu editors Runtime Verification volume \n  70\n   of \n  Electronic Notes in Theoretical Computer Science pages \n  81\n  --\n  95\n  . \n  Elsevier Science July 26 \n  2002\n  .  M. Kim S. Kannan I. Lee S. Sokolsky and M. Viswanathan. Computational analysis of run-time monitoring. In K. Havelund and G. Ro\u015fu editors Runtime Verification volume 70 of Electronic Notes in Theoretical Computer Science pages 81--95. Elsevier Science July 26 2002."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"e_1_3_2_1_20_1","volume-title":"Electronic Notes in Theoretical Computer Science","volume":"70","author":"Levy J.","year":"2002"},{"key":"e_1_3_2_1_21_1","first-page":"26","article-title":"Edit automata: Enforcement mechanisms for run-time security policies","author":"Ligatti J.","year":"2005","journal-title":"International Journal of Information Security, 4(1--2):2--16"},{"key":"e_1_3_2_1_23_1","unstructured":"A. Magnaghi and H. Tanaka. An efficient algorithm for order evaluation of strict locally testable languages.  A. Magnaghi and H. Tanaka. An efficient algorithm for order evaluation of strict locally testable languages."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/800215.806565"},{"key":"e_1_3_2_1_25_1","unstructured":"D.\n       \n      Perrin\n     and \n      \n      \n      J. E.\n       \n      Pin\n      \n  \n  . \n  Infinite Words. Automata Semigroups Logic and Games volume \n  141\n   of \n  Pure and Applied Mathematics\n  . \n  Elsevier 1004.  D. Perrin and J. E. Pin. Infinite Words. Automata Semigroups Logic and Games volume 141 of Pure and Applied Mathematics . Elsevier 1004."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"D. Perrin and J. Pin. Semigroups and automata on infinite words 1995.  D. Perrin and J. Pin. Semigroups and automata on infinite words 1995.","DOI":"10.1007\/978-94-011-0149-3_3"},{"key":"e_1_3_2_1_27_1","unstructured":"J.-E. Pin. Logic semigroups and automata on words. 1994.  J.-E. Pin. Logic semigroups and automata on words. 1994."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-0149-3_1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"volume-title":"Lecture Notes in Computer Science","year":"2000","author":"Schneider F. B.","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/353323.353382"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.93741"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539791216987"},{"key":"e_1_3_2_1_34_1","unstructured":"A. Taivalsaari. JSR 139 J2ME Connected Limited Device Configuration 1.1 March 2003.  A. Taivalsaari. JSR 139 J2ME Connected Limited Device Configuration 1.1 March 2003."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/647266.721551"},{"volume-title":"University of Pennsylvania","year":"2000","author":"Viswanathan M.","key":"e_1_3_2_1_36_1"},{"key":"e_1_3_2_1_37_1","first-page":"5561","volume-title":"In Proceedings of the 9th National Computer Security Conference","author":"Young P. A. T. W. D.","year":"1986"}],"event":{"name":"PST06: International Conference on Privacy, Security and Trust","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Markham Ontario Canada","acronym":"PST06"},"container-title":["Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1501434.1501480","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1501434.1501480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:40Z","timestamp":1750259200000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1501434.1501480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10,30]]},"references-count":32,"alternative-id":["10.1145\/1501434.1501480","10.1145\/1501434"],"URL":"https:\/\/doi.org\/10.1145\/1501434.1501480","relation":{},"subject":[],"published":{"date-parts":[[2006,10,30]]},"assertion":[{"value":"2006-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}