{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,29]],"date-time":"2026-10-29T22:34:36Z","timestamp":1793313276321,"version":"4.5.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642299629","type":"print"},{"value":"9783642299636","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29963-6_5","type":"book-chapter","created":{"date-parts":[[2012,4,28]],"date-time":"2012-04-28T12:06:00Z","timestamp":1335614760000},"page":"40-55","source":"Crossref","is-referenced-by-count":2,"title":["A Proof-Carrying File System with Revocable and Use-Once Certificates"],"prefix":"10.1007","author":[{"given":"Jamie","family":"Morgenstern","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Deepak","family":"Garg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank","family":"Pfenning","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"FUSE: Filesystem in Userspace, http:\/\/fuse.sourceforge.net\/"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Logic in access control. In: 18th Annual Symposium on Logic in Computer Science (LICS 2003), pp. 228\u2013233 (June 2003)","DOI":"10.1109\/LICS.2003.1210062"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Abadi, M.: Logic in access control (tutorial notes). In: 9th International School on Foundations of Security Analysis and Design (FOSAD), pp. 145\u2013165 (2009)","DOI":"10.1007\/978-3-642-03829-7_5"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Appel, A.W., Felten, E.W.: Proof-carrying authentication. In: 6th ACM Conference on Computer and Communications Security (CCS), pp. 52\u201362 (1999)","DOI":"10.1145\/319709.319718"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Barth, A., Mitchell, J.C.: Managing digital rights using linear logic. In: 21st Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 127\u2013136 (2006)","DOI":"10.1109\/LICS.2006.32"},{"key":"5_CR6","unstructured":"Bauer, L.: Access Control for the Web via Proof-Carrying Authorization. Ph.D. thesis, Princeton University (2003)"},{"key":"5_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/11556992_31","volume-title":"Information Security","author":"L. Bauer","year":"2005","unstructured":"Bauer, L., Garriss, S., McCune, J.M., Reiter, M.K., Rouse, J., Rutenbar, P.: Device-Enabled Authorization in the Grey System. In: Zhou, J., L\u00f3pez, J., Deng, R.H., Bao, F. (eds.) ISC 2005. LNCS, vol.\u00a03650, pp. 431\u2013445. Springer, Heidelberg (2005)"},{"key":"5_CR8","unstructured":"Bowers, K.D., Bauer, L., Garg, D., Pfenning, F., Reiter, M.K.: Consumable credentials in logic-based access-control systems. In: Electronic Proceedings of the 14th Annual Network and Distributed System Security Symposium (NDSS 2007) (2007)"},{"issue":"2","key":"5_CR9","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10207-007-0017-y","volume":"6","author":"J.G. Cederquist","year":"2007","unstructured":"Cederquist, J.G., Corin, R., Dekker, M.A.C., Etalle, S., den Hartog, J.I., Lenzini, G.: Audit-based compliance control. International Journal of Information Security\u00a06(2), 133\u2013151 (2007)","journal-title":"International Journal of Information Security"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0304-3975(99)00173-5","volume":"232","author":"I. Cervesato","year":"2000","unstructured":"Cervesato, I., Hodas, J.S., Pfenning, F.: Efficient resource management for linear logic proof search. Theoretical Computer Science\u00a0232, 133\u2013163 (2000)","journal-title":"Theoretical Computer Science"},{"key":"5_CR11","unstructured":"Chang, B.Y.E., Chaudhuri, K., Pfenning, F.: A judgmental analysis of linear logic. Tech. Rep. CMU-CS-03-131R. Carnegie Mellon University (2003)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Garg, D.: Proof Theory for Authorization Logic and Its Application to a Practical File System. Ph.D. thesis. Carnegie Mellon University (2009), available as Technical Report CMU-CS-09-168","DOI":"10.21236\/ADA507017"},{"key":"5_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/11863908_19","volume-title":"Computer Security \u2013 ESORICS 2006","author":"D. Garg","year":"2006","unstructured":"Garg, D., Bauer, L., Bowers, K., Pfenning, F., Reiter, M.: A Linear Logic of Affirmation and Knowledge. In: Gollmann, D., Meier, J., Sabelfeld, A. (eds.) ESORICS 2006. LNCS, vol.\u00a04189, pp. 297\u2013312. Springer, Heidelberg (2006)"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Garg, D., Pfenning, F.: Non-interference in constructive authorization logic. In: 19th Computer Security Foundations Workshop (CSFW), pp. 283\u2013293 (2006)","DOI":"10.1109\/CSFW.2006.18"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Garg, D., Pfenning, F.: A proof-carrying file system. In: 31st IEEE Symposium on Security and Privacy (Oakland), pp. 349\u2013364 (2010)","DOI":"10.1109\/SP.2010.28"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"5_CR17","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/138873.138874","volume":"10","author":"B. Lampson","year":"1992","unstructured":"Lampson, B., Abadi, M., Burrows, M., Wobber, E.: Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems\u00a010(4), 265\u2013310 (1992)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"1\/2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1006\/inco.1999.2832","volume":"157","author":"F. Pfenning","year":"2000","unstructured":"Pfenning, F.: Structural cut elimination I. Intuitionistic and classical logic. Information and Computation\u00a0157(1\/2), 84\u2013141 (2000)","journal-title":"Information and Computation"},{"key":"5_CR19","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1017\/S0960129501003322","volume":"11","author":"F. Pfenning","year":"2001","unstructured":"Pfenning, F., Davies, R.: A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science\u00a011, 511\u2013540 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"5_CR20","unstructured":"Schneider, F.B., Walsh, K., Sirer, E.G.: Nexus Authorization Logic\u00a0(NAL): Design rationale and applications. Tech. rep. Cornell University (2009), http:\/\/ecommons.library.cornell.edu\/handle\/1813\/13679"}],"container-title":["Lecture Notes in Computer Science","Security and Trust Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29963-6_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:53:40Z","timestamp":1743026020000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29963-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642299629","9783642299636"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29963-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}