![]() | Up a level |
Gawanmeh, Amjad (2008) On the formal verification of group key security protocols. PhD thesis, Concordia University.
Gawanmeh, Amjad (2003) Interfacing abstract state machines with multiway decision graphs. Masters thesis, Concordia University.