A Predicate Calculus Logic for the PKI Trust Model Analysis.

Hanane El Bakkali, Bahia Idrissi Kaitouni

Browse the full NCA paper archive.