Get started
Keyword

protocol security analysis

Description: The formal or systematic examination of communication protocols to identify vulnerabilities and assess whether they meet security properties.
OpenAlex ID: keywords/security-protocol-analysis
Improving the security of multiparty quantum secret sharing against Trojan horse attack
2005 · Fu-Guo Deng, Xi-Han Li, et al. · Physical Review A · 578
PDF
Design of an anonymity-preserving three-factor authenticated key exchange protocol for wireless sensor networks
2016 · Ruhul Amin, SK Hafizul Islam, et al. · Computer Networks · 311
AKM-IoV: Authenticated Key Management Protocol in Fog Computing-Based Internet of Vehicles Deployment
2019 · Mohammad Wazid, Palak Bagga, et al. · IEEE Internet of Things Journal · 253
A secure authentication scheme based on elliptic curve cryptography for IoT and cloud servers
2017 · Saru Kumari, Marimuthu Karuppiah, et al. · The Journal of Supercomputing · 250
Design of Blockchain-Based Lightweight V2I Handover Authentication Protocol for VANET
2022 · Seunghwan Son, Joonyoung Lee, et al. · IEEE Transactions on Network Science and Engineering · 249
A meta-notation for protocol analysis
2003 · I. Cervesato, N.A. Durgin, et al. · Proceedings - Computer Security Foundations Workshop/Proceedings · 248
Formal analysis of SAML 2.0 web browser single sign-on
2008 · Alessandro Armando, Roberto Carbone, et al. · 243
An efficient ECC-based provably secure three-factor user authentication and key agreement protocol for wireless healthcare sensor networks
2017 · Sravani Challa, Ashok Kumar Das, et al. · Computers & Electrical Engineering · 240
Automated Analysis of Diffie-Hellman Protocols and Advanced Security Properties
2012 · Benedikt Schmidt, Simon Meier, et al. · Proceedings - Computer Security Foundations Workshop/Proceedings · 228
Quantum secure direct communication with χ -type entangled states
2008 · Song Lin, Qiao-Yan Wen, et al. · Physical Review A · 224
On the Security of the TLS Protocol: A Systematic Analysis
2013 · Hugo Krawczyk, Kenneth G. Paterson, et al. · Lecture notes in computer science · 219
Athena: a novel approach to efficient automatic security protocol analysis1
2001 · Dawn Xiaodong Song, Sergey Berezin, et al. · Journal of Computer Security · 211
A probabilistic poly-time framework for protocol analysis
1998 · P. Lincoln, J. Mitchell, et al. · Proceedings of the ACM Conference on Computer and Communications Security · 209
Athena: a new efficient automatic checker for security protocol analysis
2003 · Dawn Xiaodong Song · Proceedings - Computer Security Foundations Workshop/Proceedings · 203
Using CSP to detect errors in the TMN protocol
1997 · G. Lowe, B. Roscoe · IEEE Transactions on Software Engineering · 188
An On-the-Fly Model-Checker for Security Protocol Analysis
2003 · David Basin, Sebastian Mödersheim, et al. · Lecture notes in computer science · 175
Analyzing security protocols with secrecy types and logic programs
2005 · Martín Abadi, Bruno Blanchet · Journal of the ACM · 156
Secure Key Agreement and Key Protection for Mobile Device User Authentication
2018 · Libing Wu, Jing Wang, et al. · IEEE Transactions on Information Forensics and Security · 147
Systematic design of a family of attack-resistant authentication protocols
1993 · R. Bird, I. Gopal, et al. · IEEE Journal on Selected Areas in Communications · 141
A framework for security analysis of mobile wireless networks
2006 · Sebastian Nanz, Chris Hankin · Theoretical Computer Science · 136
Universally Composable Security
2020 · Ran Canetti · Journal of the ACM · 130
Comment on quantum private comparison protocols with a semi-honest third party
2012 · Yu-Guang Yang, Juan Xia, et al. · Quantum Information Processing · 129
Deciding security of protocols against off-line guessing attacks
2005 · Mathieu Baudet · Proceedings of the ACM Conference on Computer and Communications Security · 129
Blockchain-Enabled Authenticated Key Agreement Scheme for Mobile Vehicles-Assisted Precision Agricultural IoT Networks
2022 · Anusha Vangala, Ashok Kumar Das, et al. · IEEE Transactions on Information Forensics and Security · 127
Honest ideals on strand spaces
2002 · F.J. Thayer Fabrega, J.C. Herzog, et al. · Proceedings - Computer Security Foundations Workshop/Proceedings · 118
Works count: 1,651
Citation count: 18,660
Year
Topic
Type