Weighted pushdown systems and trust-management systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3920 LNCS, Issue , 2006, Pages 1-26

  Jha, Somesh ^a   Schwoon, Stefan ^b   Wang, Hao ^a   Reps, Thomas ^a  

^a University of Wisconsin   (United States)

^b UNIVERSITY OF STUTTGART   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY POLICY; TRUST-MANAGEMENT SYSTEM SPKI/SDSI; WEIGHTED PUSHDOWN SYSTEMS (WPDS);

ALGORITHMS; INFORMATION MANAGEMENT; NETWORK PROTOCOLS; SECURITY OF DATA; SERVERS; SOFTWARE PROTOTYPING;

INFORMATION RETRIEVAL SYSTEMS;

EID: 33745784544     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11691372_1     Document Type: Conference Paper

References (25)

1. M. Abadi. On SDSI's linked local name spaces. Journal of Computer Security, 6(1-2):3-21, 1998.
2. A. W. Appel and E. W. Felten. Proof-carrying authentication. In Conf. on Comp. and Commun. Sec., Nov. 1999.
3. L. Bauer, S. Garriss, and M. K. Reiter. Distributed proving in access-control systems. In In Proceedings of the 2005 IEEE Symposium on Security and Privacy, pages 81-95, May 2005.
4. M. Blaze, J. Feigenbaum, J. Ioannidis, and A. D. Keromytis. The role of trust management in distributed systems security. In Vitek and Jensen, editors, Secure Internet Programming: Security Issues for Mobile and Distributed Objects, pages 185-210, 1999. LNCS 1603.
5. M. Blaze, J. Feigenbaum, J. Ioannidis, and A. D. Keromytis, The KeyNote Trust-Management System Version 2, RFC 2704, Sept. 1999.
6. A. Bouajjani, J. Esparza, and O. Maler. Reachability analysis of pushdown automata: Application to model-checking. In Proceedings of CONCUR'97, volume 1243 of Lecture Notes in Computer Science, pages 135-150. Springer, 1997.
7. A. Bouajjani, J. Esparza, and T. Touili. A generic approach to the static analysis of concurrent programs with procedures. In Proceedings of POPL'03, 2003.
8. D. Clarke, J.-E. Elien, C. M. Ellison, M. Fredette, A. Morcos, and R. L. Rivest. Certficate chain discovery in SPKI/SDSI. Journal of Computer Security, 9(1/2):285-322, 2001.
9. C. M. Ellison, B. Frantz, B. Lampson, R. Rivest, B. Thomas, and T. Ylönen. RFC 2693: SPKI Certificate Theory. The Internet Society, September 1999.
10. J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon. Efficient algorithms for model checking pushdown systems. In E. A. Emerson and A. P. Sistla, editors, Proceedings of CAV'2000, volume 1855 of Lecture Notes in Computer Science, pages 232-247. Springer, July 2000.
11. A. Finkel, B.Willems, and P. Wolper. A direct symbolic approach to model checking pushdown systems. Elec. Notes in Theor. Comp. Sci., 9, 1997.
12. J. Y. Halpern and R. van der Meyden. A logical reconstruction of SPKI. In Proceedings of the 14th IEEE Computer Security Foundations Workshop, pages 59-70. IEEE Computer Society Press, 2001.
13. J. Howell and D. Kotz. A formal semantics for SPKI. Technical Report 2000-363, Department of Computer Science, Dartmouth College, Hanover, NH, Mar. 2000.
14. S. Jha and T. Reps. Analysis of SPKI/SDSI certificates using model checking. In Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW), pages 129-146. IEEE Computer Society, June 2002.
15. S. Jha and T. Reps. Model checking SPKI/SDSI. Journal of Computer Security, 12(3-4):317-353, 2004.
16. T. Jim. SD3: A trust management system with certified evaluation. In SP '01: Proceedings of the IEEE Symposium on Security and Privacy, page 106. IEEE Computer Society, 2001.
17. T. Jim and D. Suciu. Dynamically distributed query evaluation. In PODS '01: Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pages 28-39. ACM Press, 2001.
18. B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265-310, November 1992.
19. N. Li and J. C. Mitchell. Understanding SPKI/SDSI using first-order logic. In Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW). IEEE Computer Society, 2003.
20. N. Li, W. H. Winsborough, and J. C. Mitchell. Distributed credential chain discovery in trust management. Journal of Computer Security, 11(1):35-86, February 2003.
21. F. Pfenning and C. Schürmann. System description: Twelf - a meta-logical framework for deductive systems. In H. Ganzinger, editor, Int. Conf. on Auto. Deduc., pages 202-206. Springer-Verlag, LNAI 1632, July 1999.
22. T. Reps, S. Schwoon, and S. Jha. 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.
23. T. Reps, S. Schwoon, S. Jha, and D. Melski. Weighted pushdown systems and their application to interprocedural dataflow analysis. Science of Computer Programming, 58(1-2):206-263, October 2005.
24. S. Schwoon, S. Jha, T. Reps, and S. Stubblebine. On generalized authorization problems. In Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW), pages 202-218. IEEE Computer Society, June 2003.
25. S. Weeks. Understanding trust management systems. In Proceedings of the IEEE Symposium on Research in Security and Privacy, Research in Security and Privacy, Oakland, CA, May 2001. IEEE Computer Society, Technical Committee on Security and Privacy, IEEE Computer Society Press.