Kailar逻辑的改进及应用AET-电子技术应用-最丰富的电子设计资源平台

Kailar逻辑的改进及应用
所属分类：技术论文
上传者：aet
文档大小：372 K

所需积分：0分积分不够怎么办？
文档介绍：综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究性分析和设计。同时，将改进后的Kailar逻辑应用在类NG协议的分析中，分析结果证明了该协议可追究方面的安全性质。
现在下载
VIP会员，AET专家下载不扣分；重复下载不扣分，本人上传资源不扣分。