Design and Analysis of Lightweight Authentication Protocol for Securing IoD حسب Saeed Ullah Jan (9079260)

"…Its security has been verified formally using Random Oracle Model (ROM), ProVerif2.02 and informally using assumptions and pragmatic illustration. …"

Assessing test suites of extended finite state machines against model and code based faults حسب El-Fakih, Khaled

احصل على النص الكامل