Hanane El Bakkali, Bahia Idrissi Kaitouni. A Predicate Calculus Logic for the PKI Trust Model Analysis. In IEEE International Symposium on Network Computing and Applications (NCA 2001), October 8-10, 2001, Cambridge, MA, USA. pages 368-371, IEEE Computer Society, 2001. [doi]
Abstract is missing.