{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:01:41Z","timestamp":1753887701272},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540253884"},{"type":"electronic","value":"9783540319825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31982-5_20","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T07:29:02Z","timestamp":1294990142000},"page":"316-332","source":"Crossref","is-referenced-by-count":27,"title":["History-Based Access Control with Local Policies"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Bartoletti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierpaolo","family":"Degano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gian Luigi","family":"Ferrari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Abadi, M., Fournet, C.: Access control based on execution history. In: Proc. 10th Annual Network and Distributed System Security Symposium (2003)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Naumann, D.A.: History-based access control and secure information flow. In: Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Cards (CASSIS) (2004)","DOI":"10.1007\/978-3-540-30569-9_2"},{"key":"20_CR3","unstructured":"Bartoletti, M.: PhD thesis, Universit\u00e0 di Pisa (submitted)"},{"key":"20_CR4","unstructured":"Bartoletti, M., Degano, P., Ferrari, G.L.: Method inlining in the presence of stack inspection. In: Workshop on Issues in the Theory of Security (2004)"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoretical Computer Science\u00a037, 77\u2013121 (1985)","journal-title":"Theoretical Computer Science"},{"key":"20_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.3233\/JCS-2001-9303","volume":"9","author":"F. Besson","year":"2001","unstructured":"Besson, F., Jensen, T., Le M\u00e9tayer, D., Thorn, T.: Model checking security properties of control flow graphs. Journal of Computer Security\u00a09, 217\u2013250 (2001)","journal-title":"Journal of Computer Security"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Colcombet, T., Fradet, P.: Enforcing trace properties by program transformation. In: Proc. 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2000)","DOI":"10.1145\/325694.325703"},{"key":"20_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48749-2_19","volume-title":"Secure Internet Programming","author":"G. Edjlali","year":"1999","unstructured":"Edjlali, G., Acharya, A., Chaudhary, V.: History-based access control for mobile code. In: Vitek, J. (ed.) Secure Internet Programming. LNCS, vol.\u00a01603. Springer, Heidelberg (1999)"},{"key":"20_CR9","unstructured":"Esparza, J.: On the decidability of model checking for several \u03bc-calculi and Petri nets. In: Proc. 19th Int. Colloquium on Trees in Algebra and Programming (1994)"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Fong, P.W.: Access control by tracking shallow execution history. In: IEEE Symposium on Security and Privacy (2004)","DOI":"10.1109\/SECPRI.2004.1301314"},{"issue":"3","key":"20_CR11","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/641909.641912","volume":"25","author":"C. Fournet","year":"2003","unstructured":"Fournet, C., Gordon, A.D.: Stack inspection: theory and variants. ACM Transactions on Programming Languages and Systems\u00a025(3), 360\u2013399 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Kobayashi, N.: Resource usage analysis. In: Proc. 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2002)","DOI":"10.1145\/503272.503303"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Marriott, K., Stuckey, P.J., Sulzmann, M.: Resource usage verification. In: Proc. First Asian Programming Languages Symposium (2003)","DOI":"10.1007\/978-3-540-40018-9_15"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Sabelfeld, A., Myers, A.C.: Language-based information flow security. IEEE Journal on selected areas in communication\u00a021(1) (2003)","DOI":"10.1109\/JSAC.2002.806121"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-45608-2_3","volume-title":"Foundations of Security Analysis and Design","author":"P. Samarati","year":"2001","unstructured":"Samarati, P., de Capitani di Vimercati, S.: Access control: Policies, models, and mechanisms. In: Focardi, R., Gorrieri, R. (eds.) FOSAD 2000. LNCS, vol.\u00a02171, p. 137. Springer, Heidelberg (2001)"},{"key":"20_CR16","volume-title":"Informatics: 10 Years Back, 10 Years Ahead","author":"F. Schneider","year":"2001","unstructured":"Schneider, F., Morrisett, G., Harper, R.: A language-based approach to security. In: Informatics: 10 Years Back, 10 Years Ahead. Springer, Heidelberg (2001)"},{"issue":"1","key":"20_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 (TISSEC)\u00a03(1), 30\u201350 (2000)","journal-title":"ACM Transactions on Information and System Security (TISSEC)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Skalka, C., Smith, S.: History effects and verification. In: Asian Programming Languages Symposium (2004)","DOI":"10.1007\/978-3-540-30477-7_8"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Talpin, J.-P., Jouvelot, P.: The type and effect discipline. In: Proc. 7th IEEE Symposium on Logic in Computer Science (1992)","DOI":"10.1109\/LICS.1992.185530"},{"key":"20_CR20","unstructured":"Tan, G., Ou, X., Walker, D.: Resource usage analysis via scoped methods. In: Foundations of Object-Oriented Languages (2003)"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: An automata-theoretic approach to linear temporal logic. In: Proc. Banff Higher order workshop conference on Logics for concurrency (1996)","DOI":"10.1007\/3-540-60915-6_6"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Walker, D.: A type system for expressive security policies. In: Proc. 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2000)","DOI":"10.1145\/325694.325728"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31982-5_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:32:54Z","timestamp":1605760374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31982-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540253884","9783540319825"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31982-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}