语义编码方式相关硕士博士期刊学术论文 - 信丰网

语义编码方式相关论文

基于PVS的密码协议形式化规范

给出用PVS对密码协议进行形式化规范的一种方法.该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强......

期刊

密码协议形式化规范 PVS 规范语言规范方法加密系统语义编码方式 cryptographic protocol formal specificatio

看过本文同时还关注