Hanane El Bakkali, Bahia Idrissi Kaitouni. Logic-Based Reasoning About PKI Trust Model. In Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 3-5 July 2001, Hammamet, Tunisia. pages 42-48, IEEE Computer Society, 2001. [doi]
Abstract is missing.