Formal analysis of RFC 8120 authentication protocol for...

Journal of Information Security and Applications 2020 / 08 Vol. 53

Formal analysis of RFC 8120 authentication protocol for HTTP under different assumptions

Okumura, Naomi, Ogata, Kazuhiro, Shinoda, Yoichi
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:
53
Journal:
Journal of Information Security and Applications
DOI:
10.1016/j.jisa.2020.102529
Date:
August, 2020
File:
PDF, 2.69 MB
2020
Conversion to is in progress
Conversion to is failed