形式化验证
形式化验证技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
资源总数
500
形式化验证 热门资料
查看全部 500 份 →电子证据与反拒认协议及形式化分析
【摘要】反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP，解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则，并用信
2024-02-28
3
一种快速安全认证协议及其形式化分析
介绍了现有的常用身份认证方法，分析了其安全性和不足之处，针对安全性和效率问题，提出了一种可实现快速安全认证的一种新协议，并使用协议组合逻辑形式化分析了新协议的安全性和新协议的效率，结果证明该协
2023-11-30
7
隐标识身份认证方法及其形式化语义分析
针对用户身份标识在身份认证机制中的安全问题，提出一种隐藏身份标识的身分认证方案，用户毋需提交身份标识即可与服务器实现身份认证，并采用形式化的SVO逻辑语言分析该协议。SVO逻辑体系下的实验表明，该协议
2023-12-22
1