Logic-Based Reasoning About PKI Trust Model.

Hanane El Bakkali, Bahia Idrissi Kaitouni

Browse the full ISCC paper archive.