Logic-Based Reasoning About PKI Trust Model. - Hanane El Bakkali; Bahia Idrissi Kaitouni (ISCC, 2001)

A Predicate Calculus Logic for the PKI Trust Model Analysis. - Hanane El Bakkali; Bahia Idrissi Kaitouni (NCA, 2001)