{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:00:56Z","timestamp":1742914856882,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642014642"},{"type":"electronic","value":"9783642014659"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01465-9_19","type":"book-chapter","created":{"date-parts":[[2009,4,4]],"date-time":"2009-04-04T04:56:06Z","timestamp":1238820966000},"page":"287-301","source":"Crossref","is-referenced-by-count":7,"title":["Do You Really Mean What You Actually Enforced?"],"prefix":"10.1007","author":[{"given":"Nataliia","family":"Bielova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Massacci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/1065010.1065047","volume-title":"Proceedings of the ACM SIGPLAN 2005 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: Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, pp. 305\u2013314. ACM Press, New York (2005)"},{"issue":"1-2","key":"19_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"L. Bauer","year":"2005","unstructured":"Bauer, L., Ligatti, J., Walker, D.: Edit automata: Enforcement mechanisms for run-time security policies. International Journal of Information Security\u00a04(1-2), 2\u201316 (2005)","journal-title":"International Journal of Information Security"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Bielova, N., Massacci, F.: Do you really mean what you actually enforced? Technical Report DISI-08-033, UNITN (2008)","DOI":"10.1007\/978-3-642-01465-9_19"},{"key":"19_CR4","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)"},{"key":"19_CR5","unstructured":"Erlingsson, U.: The Inlined Reference Monitor Approach to Security Policy Enforcement. Technical report 2003-1916, Department of Computer Science, Cornell University (2003)"},{"key":"19_CR6","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 (May 2004)","DOI":"10.1109\/SECPRI.2004.1301314"},{"key":"19_CR7","volume-title":"Inside Java(TM) 2 Platform Security: Architecture, API Design, and Implementation","author":"L. Gong","year":"2003","unstructured":"Gong, L., Ellison, G.: Inside Java(TM) 2 Platform Security: Architecture, API Design, and Implementation. Pearson Education, London (2003)"},{"issue":"1","key":"19_CR8","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 Transactions on Programming Languages and Systems\u00a028(1), 175\u2013205 (2006)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR9","volume-title":"Algebraic structure theory of sequential machines","author":"J. Hartmanis","year":"1966","unstructured":"Hartmanis, J.: Algebraic structure theory of sequential machines. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Havelund, K., Rosu, G.: Efficient monitoring of safety properties. International Journal on Software Tools for Technol. Transfer (2004)","DOI":"10.1007\/s10009-003-0117-6"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Krukow, K., Nielsen, M., Sassone, V.: A framework for concrete reputation-systems with applications to history-based access control. In: Proceedings of the 12th ACM Conference on Communications and Computer Security (2005)","DOI":"10.1145\/1102120.1102155"},{"key":"19_CR12","volume-title":".NET Framework security","author":"B. LaMacchia","year":"2002","unstructured":"LaMacchia, B., Lange, S.: .NET Framework security. Addison-Wesley, Reading (2002)"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/11555827_21","volume-title":"Computer Security \u2013 ESORICS 2005","author":"J. Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Enforcing non-safety security policies with program monitors. In: di Vimercati, S.d.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol.\u00a03679, pp. 355\u2013373. Springer, Heidelberg (2005)"},{"key":"19_CR14","unstructured":"Ligatti, J.A.: Policy Enforcement via Program Monitoring. PhD thesis, Princeton University (June 2006)"},{"key":"19_CR15","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. Electr. Notes Theor. Comp. Sci., vol.\u00a0179, pp. 31\u201346 (2007)","DOI":"10.1016\/j.entcs.2006.08.029"},{"key":"19_CR16","unstructured":"Ray, B.: Symbian signing is no protection from spyware (May 2007), http:\/\/www.theregister.co.uk\/2007\/05\/23\/symbian_signed_spyware\/"},{"issue":"1","key":"19_CR17","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":"19_CR18","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/945445.945448","volume-title":"Proceedings of the 19th ACM Symposium on Operating Systems Principles","author":"R. Sekar","year":"2003","unstructured":"Sekar, R., Venkatakrishnan, V.N., Basu, S., Bhatkar, S., DuVarney, D.C.: Model-carrying code: a practical approach for safe execution of untrusted applications. In: Proceedings of the 19th ACM Symposium on Operating Systems Principles, pp. 15\u201328. ACM Press, New York (2003)"},{"issue":"2-4","key":"19_CR19","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.ic.2007.07.009","volume":"206","author":"C. Talhi","year":"2007","unstructured":"Talhi, C., Tawbi, N., Debbabi, M.: Execution monitoring enforcement under memory-limitation constraints. Information and Computation\u00a0206(2-4), 158\u2013184 (2007)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects in Security and Trust"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01465-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T21:16:18Z","timestamp":1739049378000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01465-9_19"}},"subtitle":["Edit Automata Revisited"],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642014642","9783642014659"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01465-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}