Formal Verification of a Dynamic Multi-factor Secure Communication Protocol
- Kyler R. Scott
- , Sunil P. Khatri
- , Ali Ghrayeb
- Texas A&M University
- Texas A&M University at Qatar
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1
Link opens in a new tab
Citation
(Scopus)