[Lecture Notes in Computer Science] Computer Security Volume 11098 (23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I) || POR for Security Protocol Equivalences
Lopez, Javier; Zhou, Jianying; Soriano, Miguel
- 作者Lopez, Javier; Zhou, Jianying; Soriano, Miguel
- 文件大小450.22KB
- 发表时间2018
- DOI10.1007/978-3-319-99073-6_19
- 页码385-405