【技术实现步骤摘要】
【技术保护点】
一种安全协议的形式化验证方法,其步骤包括:1)在设定的网络环境下,给定一个安全协议;2)根据安全协议执行步骤实现的功能对安全协议进行分层;3)将期望的安全目标分解为与各分层对应的子目标;4)依次对各分层进行建模,对各子目标进行描述;5)分别在步骤4)构造的分层模型上验证是否满足与之对应的子目标,若满足则完成对安全协议的验证。
【技术特征摘要】
【专利技术属性】
技术研发人员:薛锐,彭建华,刘峰,
申请(专利权)人:中国科学院软件研究所,
类型:发明
国别省市:11[中国|北京]
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。