A predicate calculus logic for the PKI trust model analysis

Proceedings - IEEE International Symposium on Network Computing and Applications, NCA 2001

Volumn , Issue , 2001, Pages 368-371

  El Bakkali, H ^a   Kaitouni, B I ^b  

^a Rabat Instituts Rabat   (Morocco)

^b MOHAMMED V UNIVERSITY   (Morocco)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33646760201     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NCA.2001.962557     Document Type: Conference Paper

References (11)

1. W.E. Burr, N.A. Nazario and W.T. Polk, "A Proposed Federal PKI Using X.509 V3 Certificates", NIST, Aug 99.
2. S. Chokhani and W. Ford, "Internet X.509 PKI Certificate Policy and Certification Practices Framework", March 1999.
3. M.R. Genesereth and N.J. Nilsson, Logical Foundations of Artificial Intelligence, Morgan Kaufmann Publishers, pp.9-62, 87.
4. R. Housley, et al., "Internet Public Key Infrastructure; Part I: X.509 Certificate and CRL Profile", IETF X.509 PKI (PKIX) Network Working Group, Jan 1999.
5. R. Kohlas et al. "Reasoning about public-key certification: on bindings between entities and public keys", IEEE JSAC, Apr 00.
6. U.Maurer, "Modeling a Public-Key Infrastructure", ESORICS, Springer-Verlag, vol. 1146, 1996, pp. 325-350.
7. M.K. Reiter and S.G. Stubblebine, "Authentication metric analysis and design", ACM TISS, Vol 2, pp. 138-158, May 99.
8. S.Stubblebine and R.Wright, "An authentication logic suppor-ting synchronization, revocation and recency", ACM CCS, Mar 96.
9. P. Zimmermann, PGP User's Guide, vol. I and II, May 94.
10. ISO/IEC 9594-8/ITU-T Recommendation X.509, "Information Technology, OSI - The Directory: Authentication framework", 97.
11. Privacy Enhancement Mail (PEM): Part 11: Certificate-Based Key Management, RFC 1422, Oct 93.