Modelling and Verification of Secure Exams (Information Security and Cryptography) '18
Giustolisi, Rosario 著
目次
Introduction.- Preliminaries and Definitions.- Security Requirements.- The Huszti-Pethő Protocol.- The Remark! Internet-Based Exam.- The WATA Family.- Conclusions.
カート
カートに商品は入っていません。