CryptoVerif相关论文
随着信息技术的发展,互联网技术日益向无线网络迁移,无线应用日益普及,无线网络的安全越发重要。无线技术的技术基础、应用环境,与......
目前,对安全协议的自动化证明分为两类:基于符号模型的和基于计算模型的。介绍了基于计算模型的协议证明软件CryptoVerif,介绍了其......
期刊