Analysis of SPKI/SDSI Certificates Using Model Checking

@inproceedings{Jha2002AnalysisOS,
  title={Analysis of SPKI/SDSI Certificates Using Model Checking},
  author={Somesh Jha and Thomas W. Reps},
  booktitle={CSFW},
  year={2002}
}
SPKI/SDSI is a framework for expressing naming and authorization issues that arise in a distributed-computin g environment. In this paper, we establish a connection between SPKI/SDSI and a formalism known as pushdown systems (PDSs). We show that the SPKI/SDSI-to-PDS connection provides a framework for formalizing a variety of certificate-analysis problems. Moreover, the connection h as computational significance: Many analysis problems can be solved efficiently (i.e., in time polynomial in the… CONTINUE READING