{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T11:23:27Z","timestamp":1743074607000,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330561"},{"type":"electronic","value":"9783540330578"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11691372_1","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T14:22:26Z","timestamp":1143555746000},"page":"1-26","source":"Crossref","is-referenced-by-count":7,"title":["Weighted Pushdown Systems and Trust-Management Systems"],"prefix":"10.1007","author":[{"given":"Somesh","family":"Jha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Schwoon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Reps","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1-2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.3233\/JCS-1998-61-202","volume":"6","author":"M. Abadi","year":"1998","unstructured":"Abadi, M.: On SDSI\u2019s linked local name spaces. Journal of Computer Security\u00a06(1-2), 3\u201321 (1998)","journal-title":"Journal of Computer Security"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Appel, A.W., Felten, E.W.: Proof-carrying authentication. In: Conf. on Comp. and Commun. Sec., (November 1999)","DOI":"10.1145\/319709.319718"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Bauer, L., Garriss, S., Reiter, M.K.: Distributed proving in access-control systems. In: Proceedings of the 2005 IEEE Symposium on Security and Privacy, May 2005, pp. 81\u201395 (2005)","DOI":"10.1109\/SP.2005.9"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/3-540-48749-2_8","volume-title":"Secure Internet Programming","author":"M. Blaze","year":"1999","unstructured":"Blaze, M., Feigenbaum, J., Ioannidis, J., Keromytis, A.D.: The role of trust management in distributed systems security. In: Vitek, J. (ed.) Secure Internet Programming. LNCS, vol.\u00a01603, pp. 185\u2013210. Springer, Heidelberg (1999)"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Blaze, M., Feigenbaum, J., Ioannidis, J., Keromytis, A.D.: The KeyNote Trust-Management System Version 2. RFC 2704 (September 1999)","DOI":"10.17487\/rfc2704"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/3-540-63141-0_10","volume-title":"CONCUR\u201997: Concurrency Theory","author":"A. Bouajjani","year":"1997","unstructured":"Bouajjani, A., Esparza, J., Maler, O.: Reachability analysis of pushdown automata: Application to model-checking. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 135\u2013150. Springer, Heidelberg (1997)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Bouajjani, A., Esparza, J., Touili, T.: A generic approach to the static analysis of concurrent programs with procedures. In: Proceedings of POPL 2003 (2003)","DOI":"10.1145\/604131.604137"},{"issue":"1\/2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"285","DOI":"10.3233\/JCS-2001-9402","volume":"9","author":"D. Clarke","year":"2001","unstructured":"Clarke, D., Elien, J.-E., Ellison, C.M., Fredette, M., Morcos, A., Rivest, R.L.: Certficate chain discovery in SPKI\/SDSI. Journal of Computer Security\u00a09(1\/2), 285\u2013322 (2001)","journal-title":"Journal of Computer Security"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Ellison, C.M., Frantz, B., Lampson, B., Rivest, R., Thomas, B., Yl\u00f6nen, T.: RFC 2693: SPKI Certificate Theory. The Internet Society (September 1999)","DOI":"10.17487\/rfc2693"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/10722167_20","volume-title":"Computer Aided Verification","author":"J. Esparza","year":"2000","unstructured":"Esparza, J., Hansel, D., Rossmanith, P., Schwoon, S.: Efficient algorithms for model checking pushdown systems. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 232\u2013247. Springer, Heidelberg (2000)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Finkel, A., Willems, B., Wolper, P.: A direct symbolic approach to model checking pushdown systems. Elec. Notes in Theor. Comp. Sci.\u00a09 (1997)","DOI":"10.1016\/S1571-0661(05)80426-8"},{"key":"1_CR12","first-page":"59","volume-title":"Proceedings of the 14th IEEE Computer Security Foundations Workshop","author":"J.Y. Halpern","year":"2001","unstructured":"Halpern, J.Y., van der Meyden, R.: A logical reconstruction of SPKI. In: Proceedings of the 14th IEEE Computer Security Foundations Workshop, pp. 59\u201370. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Howell, J., Kotz, D.: A formal semantics for SPKI. Technical Report 2000-363, Department of Computer Science, Dartmouth College, Hanover, NH (March 2000)","DOI":"10.1007\/10722599_9"},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/CSFW.2002.1021812","volume-title":"Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW)","author":"S. Jha","year":"2002","unstructured":"Jha, S., Reps, T.: Analysis of SPKI\/SDSI certificates using model checking. In: Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW), pp. 129\u2013146. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"3\u20134","key":"1_CR15","doi-asserted-by":"publisher","first-page":"317","DOI":"10.3233\/JCS-2004-123-402","volume":"12","author":"S. Jha","year":"2004","unstructured":"Jha, S., Reps, T.: Model checking SPKI\/SDSI. Journal of Computer Security\u00a012(3\u20134), 317\u2013353 (2004)","journal-title":"Journal of Computer Security"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1109\/SECPRI.2001.924291","volume-title":"SP 2001: Proceedings of the IEEE Symposium on Security and Privacy","author":"T. Jim","year":"2001","unstructured":"Jim, T.: SD3: A trust management system with certified evaluation. In: SP 2001: Proceedings of the IEEE Symposium on Security and Privacy, p. 106. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/375551.375557","volume-title":"PODS 2001: Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems","author":"T. Jim","year":"2001","unstructured":"Jim, T., Suciu, D.: Dynamically distributed query evaluation. In: PODS 2001: Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 28\u201339. ACM Press, New York (2001)"},{"issue":"4","key":"1_CR18","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"},{"key":"1_CR19","volume-title":"Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW)","author":"N. Li","year":"2003","unstructured":"Li, N., Mitchell, J.C.: Understanding SPKI\/SDSI using first-order logic. In: Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW). IEEE Computer Society Press, Los Alamitos (2003)"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3233\/JCS-2003-11102","volume":"11","author":"N. Li","year":"2003","unstructured":"Li, N., Winsborough, W.H., Mitchell, J.C.: Distributed credential chain discovery in trust management. Journal of Computer Security\u00a011(1), 35\u201386 (2003)","journal-title":"Journal of Computer Security"},{"key":"1_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-48660-7_14","volume-title":"Automated Deduction - CADE-16","author":"F. Pfenning","year":"1999","unstructured":"Pfenning, F., Sch\u00fcrmann, C.: System Description: Twelf - A Meta-Logical Framework for Deductive Systems. In: Ganzinger, H. (ed.) CADE 1999. LNCS (LNAI), vol.\u00a01632, pp. 202\u2013206. Springer, Heidelberg (1999)"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Reps, T., Schwoon, S., Jha, S.: Weighted pushdown systems and their application to interprocedural dataflow analysis. In: Proceedings of the 10th Internation Static Analysis Symposium (SAS), San Diego, CA, June 11-13 (2003)","DOI":"10.1007\/3-540-44898-5_11"},{"issue":"1-2","key":"1_CR23","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1016\/j.scico.2005.02.009","volume":"58","author":"T. Reps","year":"2005","unstructured":"Reps, T., Schwoon, S., Jha, S., Melski, D.: Weighted pushdown systems and their application to interprocedural dataflow analysis. Science of Computer Programming\u00a058(1-2), 206\u2013263 (2005)","journal-title":"Science of Computer Programming"},{"key":"1_CR24","first-page":"202","volume-title":"Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW)","author":"S. Schwoon","year":"2003","unstructured":"Schwoon, S., Jha, S., Reps, T., Stubblebine, S.: On generalized authorization problems. In: Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW), pp. 202\u2013218. IEEE Computer Society, Los Alamitos (2003)"},{"key":"1_CR25","unstructured":"Weeks, S.: Understanding trust management systems. In: Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, CA, May 2001, p. 1. IEEE Computer Society,Technical Committee on Security and Privacy. IEEE Computer Society Press, Los Alamitos (2001)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11691372_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T04:53:42Z","timestamp":1736312022000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11691372_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330561","9783540330578"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11691372_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}