{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:07:43Z","timestamp":1746158863113,"version":"3.28.0"},"reference-count":50,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csfw.2003.1212714","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"202-216","source":"Crossref","is-referenced-by-count":11,"title":["On generalized authorization problems"],"prefix":"10.1109","author":[{"given":"S.","family":"Schwoon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Reps","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Stubblebine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1007\/BFb0055482","article-title":"Can we eliminate certificate revocation lists?","author":"rivest","year":"1998","journal-title":"Financial Cryptography"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_11"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-48660-7_14","article-title":"System description: Twelf - a meta-logical framework for deductive systems","author":"pfenning","year":"1999","journal-title":"Int Conf Autom Deduction"},{"key":"ref32","article-title":"Heuristics for finding a maximum number of disjoint bounded paths","author":"perl","year":"1984","journal-title":"Networks 14 531–544"},{"key":"ref31","article-title":"Modeling a public-key infrastructure","author":"maurer","year":"1996","journal-title":"Computer Security-ESORICS '96 volume 1146 of Lec Notes in Comp Sci"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/501983.502005"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/317087.317088"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/12.737682"},{"article-title":"Bounded Incremental Computation, volume 1089 of Lec. Notes in Comp. Sci","year":"1996","author":"ramalingam","key":"ref34"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-3-540-46588-1_8","article-title":"Confidence valuation in a publickey infrastructure based on uncertain evidence","author":"kohlas","year":"2000","journal-title":"Public Key Cryptography"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(77)90002-3"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/138873.138874"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44585-4_18","article-title":"Analysis of recursive state machines","author":"alur","year":"2001","journal-title":"Comput Aided Verif"},{"article-title":"Compilers: Principles, Techniques and Tools","year":"1985","author":"aho","key":"ref1"},{"key":"ref20","first-page":"232","author":"esparza","year":"2000","journal-title":"Efficient algorithms for model checking pushdown systems In Proc Computer-Aided Verif volume 1855 of Lec Notes in Comp Sci"},{"key":"ref22","first-page":"59","article-title":"A logical reconstruction of SPK1","author":"halpern","year":"2001","journal-title":"Computer Security Foundations Workshop"},{"key":"ref21","first-page":"306","author":"esparza","year":"2001","journal-title":"Model-checking LTL with regular valuations for pushdown systems In Proceedings of TACAS'O1 volume 2031 of LNCS"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2002.1021812"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1999.766902"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55984-1_13"},{"key":"ref25","article-title":"An algebra for assessing trust in certification chains","author":"jsang","year":"1999","journal-title":"Proceedings of the Network and Distributed Systems Security Symposium (NDSS'99)"},{"article-title":"The Official PGP User's Guide","year":"1995","author":"zimmermann","key":"ref50"},{"key":"ref10","article-title":"On the complexity of vertex-disjoint length restricted path problems","author":"bley","year":"1998","journal-title":"Tech Rep SC-98-20 Konrad-Zuse-Zentrum für Informationstechnik"},{"key":"ref11","first-page":"135","article-title":"Reachability analysis of pushdown automata: Application to model checking","author":"bouajjani","year":"1997","journal-title":"Proc CONCUR volume 1243 of Lec Notes in Camp Sci"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-9076-0_9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604137"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1989.36295"},{"journal-title":"MOPS An infrastructure for examining security properties of software In Conf on Comp and Commun Sec","year":"2002","author":"chen","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(97)00009-3"},{"key":"ref16","article-title":"Certificate chain discovery in SPKI\/SDS1","volume":"9","author":"clarke","year":"2001","journal-title":"JCS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"journal-title":"Binder a logic-based security language In Symp on Res in Sec and Privacy","year":"2002","author":"detreville","key":"ref18"},{"key":"ref19","article-title":"SPKI certificate theory","author":"ellison","year":"1999","journal-title":"RFC 2693"},{"key":"ref4","article-title":"Privacy and accountability in certificate systems. Res","author":"aura","year":"2000","journal-title":"Rep A61 Helsinki Univ of Tech"},{"journal-title":"Proof-carrying authentication In Conf on Camp and Commun Sec","year":"1999","author":"appel","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48224-5_54"},{"key":"ref5","article-title":"Secure computer system: Unified exposition and Multics interpretation","author":"bell","year":"0","journal-title":"Technical Report ESD-TR-75-306 MITRE Corp MTR-2997"},{"key":"ref8","article-title":"The KeyNote trust-management system version 2","author":"blaze","year":"1999","journal-title":"RFC 2704"},{"key":"ref7","first-page":"3","article-title":"Valuation of trust in open networks","author":"beth","year":"1994","journal-title":"Computer Security-ESORICS '94 volume 875 of Lec Notes in Camp Sci"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.2001.924290"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/3-540-48749-2_8","article-title":"The role of trust management in distributed systems security","author":"blaze","year":"1999","journal-title":"Secure Internet Programming Security Issues for Mobile and Distributed Objects"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54572-7_6"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/32.991320"},{"journal-title":"Trusted Computer System Evaluation Criteria (DoD 5200 28-STD)","article-title":"Department of Defense","year":"1985","key":"ref48"},{"article-title":"ITU-T recommendation X.509 (08\/97) - information technology - open systems interconnection - the directory: Authentication framework","year":"1997","author":"union","key":"ref47"},{"journal-title":"WPDS - a library for Weighted Pushdown Systems","year":"2003","author":"schwoon","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(96)00072-2"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1995.398935"},{"key":"ref43","first-page":"189","article-title":"Two approaches to interprocedural data flow analysis","author":"sharir","year":"1981","journal-title":"Program Flow Analysis Theory and Applications chapter 7"}],"event":{"name":"16th IEEE Computer Security Foundations Workshop","acronym":"CSFW-03","location":"Pacific Grove, CA, USA"},"container-title":["16th IEEE Computer Security Foundations Workshop, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8606\/27273\/01212714.pdf?arnumber=1212714","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T07:51:54Z","timestamp":1585468314000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1212714\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/csfw.2003.1212714","relation":{},"subject":[]}}