Bahia Idrissi Kaitouni

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

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