학술논문
Formal analysis of RFC 8120 authentication protocol for HTTP under different assumptions
Document Type
Article
Author
Source
In Journal of Information Security and Applications August 2020 53
Subject
Language
ISSN
2214-2126