S. Jha, T. Reps  Home/Search
Context Related
| wisc.edu/wpis/papers/JCS04.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: wisc.edu/~reps/reps (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: SPKI/SDSI is a framework for expressing naming and authorization issues arising in... (Update)
Cited by: More
Reducing the Dependence of SPKI/SDSI on PKI Hao Wang - Somesh Jha Thomas (Correct)
Reducing the Dependence of Trust-Management Systems on PKI - Hao Wang Somesh (Correct)
Active bibliography (related documents): More All
1.3: Analysis of SPKI/SDSI Certificates Using Model Checking - Jha And Reps (2002) (Correct)
0.4: Understanding Trust Management Systems - Weeks (2001) (Correct)
0.4: On Generalized Authorization Problems - Schwoon, Jha, Reps, Stubblebine (2003) (Correct)
Similar documents based on text: More All
0.4: Certificate Chain Discovery in SPKI/SDSI - Clarke, Elien, Ellison.. (1999) (Correct)
0.3: Understanding SPKI/SDSI Using First-Order Logic - Ninghui Li John (2003) (Correct)
0.3: Local Names In SPKI/SDSI - Li (2000) (Correct)
Related documents from co-citation: More All
3: Kerberos: An authentication service for computer networks (context) - Neuman, Ts'o - 1994
3: Public Key Cryptography for Cross-Realm Authentication in Kerberos (context) - Hur - 2000
3: The Role of Trust Management in Distributed Systems Security - Blaze, Feigenbaum et al.
BibTeX entry: (Update)
@article{ jha04model,
author = "S. Jha and T. Reps",
title = "Model checking {SPKI}/{SDSI}",
journal = "Journal of Computer Security",
volume = "12",
year = "2004",
pages = "317--353",
publisher = "IOS Press",
url = "citeseer.ist.psu.edu/jha04model.html" }
Citations (may not include all citations):151 Reachability analysis of pushdown automata: Application to m.. - Bouajjani, Esparza et al. - 1997
142 Simple on-the-fly automatic verification of linear temporal .. - Gerth, Peled et al. - 1995
132 SPKI certificate theory (context) - Ellison, Frantz et al. - 1999
109 The KeyNote trust-management system version (context) - Blaze, Feigenbaum et al. - 1999
84 The role of trust management in distributed systems security - Blaze, Feigenbaum et al. - 1999
77 String-Rewriting Systems (context) - BookandF - 1993
60 Model checking for context-free processes - Burkart, Steffen - 1992
49 On SDSI's linked local name spaces - Abadi - 1998
48 the regular structure of prefix rewriting (context) - Caucal - 1992
45 Distributed credential chain discovery in trust management - Li, Winsborough et al. - 2002
37 Model checking of hierarchical state machines - Alur, Yannakakis - 1998
34 Efficient algorithms for model checking pushdown systems - Esparza, Hansel et al. - 2000
23 Analysis of recursive state machines - Alur, Etessami et al. - 2001
22 Understanding trust management systems - Weeks - 2001
22 Grumberg and D (context) - Clarke - 2000
21 Local name SPKISDSI - names, SDSI et al. - 2000
16 Model checking of unrestricted hierarchical state machines - Benedikt, Godefroid et al. - 2001
15 Model-checking pushdown systems (context) - Schwoon - 2002
11 Their Algebras and Grammars (context) - Bchi, Automata - 1988
8 On generalized authorization problems - Schwoon, Jha et al. - 2003
7 Certificate discovery using SPKISDSI (context) - discovery, SDSI et al. - 1998
7 Department of Computer Science (context) - Howell, Kotz et al. - 2000
6 A logical reconstruction of SPKI - Halpern, Meyden - 2001
5 Certficate chain discovery SPKISDSI (context) - Ellison, Morcos et al. - 2001
5 Understanding SPKISDSI using first order logic - Mitchell, SDSI et al. - 2003
3 Demand-driven model checking for context-free processes (context) - Knoop - 1999
1 Personal communication to S (context) - Ellison - 2003
Documents on the same site (http://www.cs.wisc.edu/~reps/reps.html): More
Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (Correct)
Putting Static Analysis to Work for Verification: A Case.. - Lev-Ami, Reps, Sagiv.. (2000) (Correct)
Program Slicing for VHDL - Clarke, Fujita, Rajan, Reps.. (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC