On the logical verification of a group key agreement protocol for resource constrained mobile devices (original) (raw)
Related papers
On the security analysis of authenticated group key exchange protocols for low-power mobile devices
2007
On the logical verification of key exchange protocols for mobile communications
2003
A secure authenticated group key agreement protocol for resource-limited mobile devices
The Computer Journal
Hybrid mobile security protocol: Formal verification using a new modal logic
2002
DDH based group key agreement for mobile computing
2004
DDH-based group key agreement in a mobile environment
Journal of Systems and Software, 2005
Formal analysis of a novel mutual authentication and key agreement protocol
Journal of Computer Science and Technology, 2011
Scientia Iranica, 2021
Mutual authentication and group key agreement for low-power mobile devices
Computer Communications, 2004
Group-Based Authentication and Key Agreement
Wireless Personal Communications, 2012
Scalable Group Key Agreement using Key Tree in Mobile Environment
IEEE Communications Letters, 2005
Cryptographic protocols for third generation mobile communication systems
2001
On the Security of Authenticated Group Key Agreement Protocols
Scalable Computing: Practice and Experience
A three round authenticated group key agreement protocol for ad hoc networks
Pervasive and Mobile Computing, 2007
Security Verification for Authentication and Key Exchange Protocols, Revisited
2010 IEEE 24th International Conference on Advanced Information Networking and Applications Workshops, 2010
A Group-Based Key Management Protocol for Mobile Ad Hoc Networks
GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference, 2009
Secure authenticated group key agreement protocol in the MANET environment
Information Security Technical Report, 2008
An Efficient Dynamic Group Key Agreement for Low-Power Mobile Devices
Lecture Notes in Computer Science, 2005
Efficient and secure keys management for wireless mobile communications
2002
IEEE Communications Letters, 2008
Message Authentication Code Based Secure Group Key Management Protocol for Mobile Ad Hoc Networks
Journal of Computer Science, 2013
Key management paradigm for mobile secure group communications: Issues, solutions, and challenges
Computer Communications, 2015
A Group Key Agreement Protocol based on stability and power using Elliptic curve cryptography
Muthumayil Krishnan, buvana muthumayil
A secure and efficient password-authenticated group key exchange protocol for mobile ad hoc networks
International Journal of Communication Systems, 2013
Efficient Symmetric and Heterogeneous Mobile Group-Based Key Management Protocol
فؤاد الكبيسي, Sufyan Al-Janabi
Security verification for authentication and key exchange protocols
2008 International Symposium on Information Theory and Its Applications, 2008
Authenticated Group Key Agreement Protocols for Error Detection and Correction
International Journal of Scientific Research in Computer Science, Engineering and Information Technology, 2019
On Security Models and Compilers for Group Key Exchange Protocols
Lecture Notes in Computer Science, 2007
Tree-based group key agreement framework for mobile ad-hoc networks
Future Generation Computer Systems, 2007
Automatic security verification for 3-party authentication and key exchange protocols
2011 5th International Conference on Network and System Security, 2011
A New Efficient Protocol for Authenticated Key Agreement
International Journal of Computer and Communication Engineering, 2013
Protocols with Security Proofs for Mobile
A New Authenticated Key Agreement Protocol
New Technologies, Mobility and Security