To search, Click below search items.

 

All Published Papers Search Service

Results for Automatic Verification; Total 1

Title

Design of an Efficient Security Protocol Analyzer

Author

Shinsaku Kiyomoto, Haruki Ota, Toshiaki Tanaka
Citation

Vol. 7  No. 6  pp. 74-87

Keywords

Security Protocol, Automatic Verification, Provable Security

[1]