Verification of Authentication Protocols for Epistemic...

Journal of Computer Science and Technology 2006 / 11 Vol. 21; Iss. 6

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation

Kai-Le Su, Qing-Liang Chen, Abdul Sattar, Wei-Ya Yue, Guan-Feng Lv, Xi-Zhong Zheng
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
21
Pages:
12
DOI:
10.1007/s11390-006-0932-9
Date:
November, 2006
File:
PDF, 458 KB
2006
Conversion to is in progress
Conversion to is failed