Title :
A predicate calculus logic for the PKI trust model analysis
Author :
El Bakkali, Hanane ; Kaitouni, Bahia Idrissi
Author_Institution :
Inst. Univ. de la Recherche Scientifique, Rabat, Morocco
Abstract :
We propose a logic-based approach for reasoning about (public-key infrastructure) PKI trust models. Our formalism uses the predicate calculus language to describe a PKI trust model with greater precision than the widely used graph. It allows us to formalize the certificates and the statements about entities beliefs with regard to public key authenticity and certification authority´s (CA´s) trustworthiness. In this formalism, we take into account the number of CAs that have participated in an entity belief, the trust level in a statement and the policies constraints. By using this approach, we can verify the suitability of a model to applications with particular requirements
Keywords :
formal logic; message authentication; public key cryptography; PKI trust model analysis; certification authority; entity belief; logic-based approach; policies constraints; predicate calculus logic; public key authenticity; public-key cryptography; public-key infrastructure; Authentication; Calculus; Certification; Concrete; Content addressable storage; Context-aware services; Cost accounting; Logic; Public key; Public key cryptography;
Conference_Titel :
Network Computing and Applications, 2001. NCA 2001. IEEE International Symposium on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-7695-1432-4
DOI :
10.1109/NCA.2001.962557