应用π演算相关论文
针对现有区块链系统认证机制存在的单点失效、弱身份认证等问题,研究了基于CFL认证体制的区块链系统认证机制。在分析CFL体制基本......
针对可信虚拟平台(trusted virtual platform,TVP)迁移协议缺乏有效的安全性验证问题,引入应用π演算对协议流程及安全属性进行形......
通过应用π演算建模分析WTLS握手协议，得出其存在密钥泄露的缺陷，并加以改进。在密钥协商过程中使用幂运算处理随机数，并用RSA加密算......
可信平台模块（trusted platform module,TPM）是信息安全领域热点研究方向可信计算的关键部件,其安全性直接影响整个可信计算平台的安......
