机译:基于Internet密钥交换协议的IPSec效率和安全性的形式化分析
Department of Computer Science, Badji Mokhtar-Annaba University, Annaba, Algeria;
Department of Computer Science, Badji Mokhtar-Annaba University, Annaba, Algeria;
Department of Computer Science, Badji Mokhtar-Annaba University, Annaba, Algeria;
internet protocol security; IPSec; security association; SA; internet key exchange protocol; IKE; elliptic curve cryptosystem; ECC; security analysis; attacks; automated validation of internet security protocols and applications; AVISPA;
机译:通过安全高效的Internet密钥交换协议来增强IPSec安全性的贡献
机译:Internet密钥交换算法在IPSec安全关联发起方面的性能分析
机译:使用应用微积分对互联网投票协议中关键属性进行形式化分析
机译:通过安全高效的互联网密钥交换协议来增强IPSec安全性的贡献
机译:BCNS和Newhope密钥交换协议的分析。
机译:制作它 - 用于工业互联网的轻量级相互认证和关键交换协议
机译:重新访问Ipsec中的密钥交换:IKEv1和IKEv2的形式化分析
机译:使用NRL协议分析器分析Internet密钥交换协议