Hanane El Bakkali (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Hanane El Bakkali, Bahia Idrissi Kaitouni: Logic-Based Reasoning About PKI Trust Model. ISCC 2001: 42-48

1 Hanane El Bakkali, Bahia Idrissi Kaitouni: A Predicate Calculus Logic for the PKI Trust Model Analysis. NCA 2001: 368-371

Selection of 2 from 2 records - Hanane El Bakkali has 1 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

2		Hanane El Bakkali, Bahia Idrissi Kaitouni: Logic-Based Reasoning About PKI Trust Model. ISCC 2001: 42-48
1		Hanane El Bakkali, Bahia Idrissi Kaitouni: A Predicate Calculus Logic for the PKI Trust Model Analysis. NCA 2001: 368-371