2009 | ||
---|---|---|
2 | EE | Hanane Houmani, Mohamed Mejri, Hamido Fujita: Secrecy of cryptographic protocols under equational theory. Knowl.-Based Syst. 22(3): 160-173 (2009) |
2007 | ||
1 | EE | Hanane Houmani, Mohamed Mejri: Secrecy by interpretation functions. Knowl.-Based Syst. 20(7): 617-635 (2007) |
1 | Hamido Fujita | [2] |
2 | Mohamed Mejri | [1] [2] |