University of Trier;
University of Trier;
computational soundness; cryptographic protocols; simulation-based security;
机译:使用双线性配对对组密钥交换协议进行计算合理的符号安全性降低分析
机译:基于网络的安全模型,使用对称密钥密码术(AES 256?Rijndael算法)和公共密钥交换协议(Diffie-Hellman密钥交换协议)
机译:基于网络的安全模型,使用对称密钥加密(AES 256- Rijndael算法)和公共密钥交换协议(Diffie-Hellman密钥交换协议)
机译:对称加密密钥交换协议的计算声音
机译:对称加密形式逻辑的健全性和完整性。
机译:基于元的计算成像加密密钥
机译:具有对称加密的密钥交换协议的计算稳健性