Ninghui Li and John C. Mitchell. Understanding SPKI/SDSI using first-order logic. In Proceedings of the IEEE Computer Security Foundations Workshop, pages 89-- 103, June 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Towards a Credential-Based Implementation of Compound Access .. - Biskup, Wortmann (2003) (3 citations) Self-citation (Security) (Correct)
No context found.
N. Li and J. C. Mitchell. Understanding SPKI/SDSI using first-order logic. In Proceedings of the 16th. IEEE Computer Security Foundations Workshop, Pacific Grove, California, USA, pages 89--108. IEEE Computer Society Press, June 2003.
Model checking SPKI/SDSI - Jha, Reps (2004) Self-citation (Sdsi) (Correct)
No context found.
N. Li and J.C. Mitchell, Understanding SPKI/SDSI using first-order logic, in: Comp. Sec. Found. Workshop, IEEE Comp. Soc., Wash., DC, 2003.
Consumable Credentials in Logic-Based Access Control - Bauer, Bowers, Pfenning.. (2006) (Correct)
No context found.
Ninghui Li and John C. Mitchell. Understanding SPKI/SDSI using first-order logic. In Proceedings of the IEEE Computer Security Foundations Workshop, pages 89-- 103, June 2003.
C edric Fournet Andrew D. Gordon - Sergio Maffeis September (2005) (Correct)
No context found.
N. Li and J. C. Mitchell. Understanding SPKI/SDSI using first-order logic. In 16th IEEE Computer Security Foundation Workshop (CSFW'03), pages 89--103, 2003.
Managing Policy Updates in Security-Typed Languages - Nikhil Swamy Michael (2006) (Correct)
No context found.
N. Li and J. C. Mitchell. Understanding SPKI/SDSI using first-order logic. In Proceedings of the Computer Security Foundations Workshop, 2003.
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