{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T02:10:02Z","timestamp":1745979002557,"version":"3.40.4"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2013,3,26]],"date-time":"2013-03-26T00:00:00Z","timestamp":1364256000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Inf. Secur."],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s10207-013-0195-8","type":"journal-article","created":{"date-parts":[[2013,3,25]],"date-time":"2013-03-25T04:49:00Z","timestamp":1364186940000},"page":"319-336","source":"Crossref","is-referenced-by-count":11,"title":["Security policies enforcement using finite and pushdown edit automata"],"prefix":"10.1007","volume":"12","author":[{"given":"Dani\u00e8le","family":"Beauquier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jo\u00eblle","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ruggero","family":"Lanotte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,26]]},"reference":[{"issue":"3","key":"195_CR1","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/j.entcs.2009.06.037","volume":"229","author":"D Beauquier","year":"2009","unstructured":"Beauquier, D., Cohen, J., Lanotte, R.: Security policies enforcement using finite edit automata. Electron. Notes Theor. Comput. Sci. 229(3), 19\u201335 (2009)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"1","key":"195_CR2","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1006\/inco.1998.2772","volume":"150","author":"N Blum","year":"1999","unstructured":"Blum, N., Koch, R.: Greibach normal form transformation revisited. Inf. Comput. 150(1), 112\u2013118 (1999)","journal-title":"Inf. Comput."},{"key":"195_CR3","unstructured":"Bauer, L., Ligatti, J., Walker, D.: More enforceable security policies. In: FLoC02 Workshop on Foundations of Computer, Security, pp. 95\u2013104 (2002)"},{"key":"195_CR4","doi-asserted-by":"crossref","unstructured":"Erlingsson, U., Schneider, F.B.: Irm enforcement of java stack inspection. In: IEEE Symposium on Security and Privacy, pp. 246\u2013255 (2000)","DOI":"10.1109\/SECPRI.2000.848461"},{"key":"195_CR5","doi-asserted-by":"crossref","unstructured":"Fong, P.W.L.: Access control by tracking shallow execution history. In: Proceedings of the 2004 IEEE Symposium on Security and Privacy, pp. 43\u201355. IEEE Computer Society Press, May (2004)","DOI":"10.1109\/SECPRI.2004.1301314"},{"issue":"1","key":"195_CR6","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/1111596.1111601","volume":"28","author":"Kevin W Hamlen","year":"2006","unstructured":"Hamlen, Kevin W., Morrisett, Greg, Schneider, Fred B.: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. (TOPLAS) 28(1), 175\u2013205 (2006)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"195_CR7","doi-asserted-by":"crossref","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. Int. J. Inf. Secur. 4, 2\u201316 (2005)","journal-title":"Int. J. Inf. Secur."},{"key":"195_CR8","doi-asserted-by":"crossref","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Enforcing non-safety security policies with program monitors. In: Computer Security\u2014ESORICS 2005, vol. 3679 of Lecture Notes in Computer Sciences, pp. 353\u2013373 (2005)","DOI":"10.1007\/11555827_21"},{"key":"195_CR9","doi-asserted-by":"crossref","unstructured":"Ligatti, Jay, Bauer, Lujo, Walker, David: Run-time enforcement of nonsafety policies. ACM Trans. Inf. Syst. Secur. 12(3), 1\u201341 (January 2009)","DOI":"10.1145\/1455526.1455532"},{"key":"195_CR10","doi-asserted-by":"crossref","unstructured":"Ligatti, J., Reddy, S.: A theory of runtime enforcement, with results. In: Proceedings of the European Symposium on Research in Computer Security (ESORICS) (2010)","DOI":"10.1007\/978-3-642-15497-3_6"},{"key":"195_CR11","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Matteucci, I.: Through modeling to synthesis of security automata. In: Proceedings of the Second International Workshop on Security and Trust Management (STM 2006), vol. 179 of, Electronic Notes in Theoretical Computer Science, pp. 31\u201346 (2007)","DOI":"10.1016\/j.entcs.2006.08.029"},{"key":"195_CR12","unstructured":"Perrin, D., Pin, J.E.: Infinite Words, Automata, Semigroups, Logic and Games, vol. 141 of Pure and Applied Mathematics. Elsevier, Amsterdam (2004)"},{"issue":"1","key":"195_CR13","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"FB Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1), 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"195_CR14","doi-asserted-by":"crossref","unstructured":"Sandholm, A., Schwartzbach, M.: Distributed safety controllers for web services. In: Fundamental Approaches to Software Engineering, vol. 1382 of Lecture Notes in Computer Science, pp. 270\u2013284. Springer, Berlin (1998)","DOI":"10.1007\/BFb0053596"},{"key":"195_CR15","doi-asserted-by":"crossref","unstructured":"Talhia, C., Tawbia, N., Debbabib, M.: Execution monitoring enforcement under memory-limitation constraints. Inf. Comput. (2008)","DOI":"10.1016\/j.ic.2007.07.009"}],"container-title":["International Journal of Information Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-013-0195-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10207-013-0195-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10207-013-0195-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T01:50:44Z","timestamp":1745977844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10207-013-0195-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,26]]},"references-count":15,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["195"],"URL":"https:\/\/doi.org\/10.1007\/s10207-013-0195-8","relation":{},"ISSN":["1615-5262","1615-5270"],"issn-type":[{"type":"print","value":"1615-5262"},{"type":"electronic","value":"1615-5270"}],"subject":[],"published":{"date-parts":[[2013,3,26]]}}}