状态转移系统相关硕士博士期刊学术论文 - 搜论网

状态转移系统相关论文

基于状态转移系统的安全协议形式模型

提出一种基于状态转移系统的安全协议模型，以Dolev-Yao攻击者模型为前提假设，以状态转移系统为框架，用语义编码的方式定义消息和事件，......

期刊

安全协议形式模型状态转移系统重写关系 Dolev-Yao攻击者模型 security protocols formal model state trans

看过本文同时还关注