{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:43:40Z","timestamp":1742985820041,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642221187"},{"type":"electronic","value":"9783642221194"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22119-4_14","type":"book-chapter","created":{"date-parts":[[2011,6,15]],"date-time":"2011-06-15T14:21:08Z","timestamp":1308147668000},"page":"164-179","source":"Crossref","is-referenced-by-count":7,"title":["A Conditional Constructive Logic for Access Control and Its Sequent Calculus"],"prefix":"10.1007","author":[{"given":"Valerio","family":"Genovese","sequence":"first","affiliation":[]},{"given":"Laura","family":"Giordano","sequence":"additional","affiliation":[]},{"given":"Valentina","family":"Gliozzi","sequence":"additional","affiliation":[]},{"given":"Gian Luca","family":"Pozzato","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-70525-3_9","volume-title":"Deontic Logic in Computer Science","author":"M. Abadi","year":"2008","unstructured":"Abadi, M.: Variations in Access Control Logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 96\u2013109. Springer, Heidelberg (2008)"},{"key":"14_CR2","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advances in Cryptology - CRYPTO \u201991","author":"M. Abadi","year":"1992","unstructured":"Abadi, M., Burrows, M., Lampson, B.W., Plotkin, G.D.: A calculus for access control in distributed systems. In: Feigenbaum, J. (ed.) CRYPTO 1991. LNCS, vol.\u00a0576, pp. 1\u201323. Springer, Heidelberg (1992)"},{"issue":"4","key":"14_CR3","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/155183.155225","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Burrows, M., Lampson, B.W., Plotkin, G.D.: A calculus for access control in distributed systems. ACM Trans. on Progr. Languages and Systems\u00a015(4), 706\u2013734 (1993)","journal-title":"ACM Trans. on Progr. Languages and Systems"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Becker, M.Y., Fournet, C., Gordon, A.D.: Design and semantics of a decentralized authorization language. In: IEEE Comp. Security Foundations Symp (CSF), pp. 3\u201315 (2007)","DOI":"10.1109\/CSF.2007.18"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","first-page":"96","volume-title":"DBSec 2007","author":"C. Bertolissi","year":"2007","unstructured":"Bertolissi, C., Fern\u00e1ndez, M., Barker, S.: Dynamic event-based access control as term rewriting. In: Barker, S., Gail-Joon, A. (eds.) DBSec 2007. LNCS, vol.\u00a04602, pp. 96\u2013109. Springer, Heidelberg (2007)"},{"issue":"3","key":"14_CR6","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/s11225-009-9201-6","volume":"92","author":"G. Boella","year":"2009","unstructured":"Boella, G., Gabbay, D., Genovese, V., van der Torre, L.: Fibred security language. Studia Logica\u00a092(3), 395\u2013436 (2009)","journal-title":"Studia Logica"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"DeTreville, J.: Binder, a logic-based security language. In: IEEE Symposium on Security and Privacy, pp. 105\u2013113 (2002)","DOI":"10.1109\/SECPRI.2002.1004365"},{"key":"14_CR8","volume-title":"A Mathematical Introduction to Logic","author":"H.B. Enderton","year":"2000","unstructured":"Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Academic Press, New York (2000)","edition":"2"},{"key":"14_CR9","volume-title":"Fibring Logics","author":"D.M. Gabbay","year":"1999","unstructured":"Gabbay, D.M.: Fibring Logics. Oxford University Press, Oxford (1999)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Garg, D.: Principal centric reasoning in constructive authorization logic. In: IMLA (2008)","DOI":"10.21236\/ADA506999"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-78499-9_16","volume-title":"Foundations of Software Science and Computational Structures","author":"D. Garg","year":"2008","unstructured":"Garg, D., Abadi, M.: A modal deconstruction of access control logics. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol.\u00a04962, pp. 216\u2013230. Springer, Heidelberg (2008)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Garg, D., Pfenning, F.: Non-interference in constructive authorization logic. In: CSFW-19, pp. 283\u2013296 (2006)","DOI":"10.1109\/CSFW.2006.18"},{"key":"14_CR13","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"1073","volume-title":"Proc. of ECAI 2010","author":"V. Genovese","year":"2010","unstructured":"Genovese, V., Giordano, L., Gliozzi, V., Pozzato, G.L.: A constructive conditional logic for access control: a preliminary report. In: Proc. of ECAI 2010. Frontiers in Artificial Intelligence and Applications, vol.\u00a0215, pp. 1073\u20131074. IOS Press, Amsterdam (2010)"},{"key":"14_CR14","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"114","volume-title":"Proc. of STAIRS 2010","author":"V. Genovese","year":"2010","unstructured":"Genovese, V., Rispoli, D., Gabbay, D.M., van der Torre, L.: Modal Access Control Logic: Axiomatization, Semantics and FOL Theorem Proving. In: Proc. of STAIRS 2010. Frontiers in Artificial Intelligence and Applications, vol.\u00a0222, pp. 114\u2013126. IOS Press, Amsterdam (2010)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-03748-1_15","volume-title":"Trust, Privacy and Security in Digital Business","author":"Y. Gurevich","year":"2009","unstructured":"Gurevich, Y., Roy, A.: Operational semantics for DKAL: Application and analysis. In: Fischer-H\u00fcbner, S., Lambrinoudakis, C., Pernul, G. (eds.) TrustBus 2009. LNCS, vol.\u00a05695, pp. 149\u2013158. Springer, Heidelberg (2009)"},{"issue":"1","key":"14_CR16","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1093\/logcom\/3.1.63","volume":"3","author":"J. Hudelmaier","year":"1993","unstructured":"Hudelmaier, J.: An $\\mathcal{O}$ (n log n)-space decision procedure for intuitionistic propositional logic. Journal of Logic and Computation\u00a03(1), 63\u201375 (1993)","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"14_CR17","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B.W. Lampson","year":"1992","unstructured":"Lampson, B.W., Abadi, M., Burrows, M., Wobber, E.: Authentication in distributed systems: Theory and practice. ACM Trans. on Computer Systems\u00a010(4), 265\u2013310 (1992)","journal-title":"ACM Trans. on Computer Systems"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Lesniewski-Laas, C., Ford, B., Strauss, J., Morris, R., Kaashoek, M.F.: Alpaca: extensible authorization for distributed services. In: Proc. of ACM CCS 2007, pp. 432\u2013444 (2007)","DOI":"10.1145\/1315245.1315299"},{"issue":"1","key":"14_CR19","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1145\/605434.605438","volume":"6","author":"N. Li","year":"2003","unstructured":"Li, N., Grosof, B.N., Feigenbaum, J.: Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Secur.\u00a06(1), 128\u2013171 (2003)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S. Negri","year":"2005","unstructured":"Negri, S.: Proof analysis in modal logic. J. of Philosophical Logic\u00a034, 507\u2013544 (2005)","journal-title":"J. of Philosophical Logic"},{"key":"14_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8966-5","volume-title":"Topics in Conditional Logic","author":"D. Nute","year":"1980","unstructured":"Nute, D.: Topics in Conditional Logic. Reidel, Dordrecht (1980)"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Olivetti, N., Pozzato, G.L., Schwind, C.B.: A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. ACM Transactions on Computational Logics\u00a08(4) (2007)","DOI":"10.1145\/1276920.1276924"},{"key":"14_CR23","unstructured":"Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics: An Introduction (1988)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22119-4_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T06:16:44Z","timestamp":1741241804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22119-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642221187","9783642221194"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22119-4_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}