Login / Signup
Formal analysis of efficiency and safety in IPSec based on internet key exchange protocol.
Marwa Ahmim
Malika Babes
Nacira Ghoualmi-Zine
Published in:
Int. J. Commun. Networks Distributed Syst. (2015)
Keyphrases
</>
formal analysis
key exchange protocol
key exchange
agent model
diffie hellman
formal methods
data model
anomaly detection
computer networks
ban logic
password authentication