束动作相关硕士博士期刊学术论文 - 信丰网

束动作相关论文

安全协议状态空间的束动作偏序约简算法

目前安全协议分析的偏序归约算法较为复杂、不易实现,限制了其适用范围,且以动作为基础,粒度较小,对减少状态空间的作用有限。针对......

期刊

安全协议状态空间约简偏序归约束动作迹等价迁移

基于偏序归约的安全协议状态空间约简技术研究

本文概要介绍了状态空间约简技术的研究现状,并针对安全协议状态空间中存在的冗余结点问题,对偏序归约技术进行了分析与研究,提出......

学位

安全协议状态空间约简偏序归约逆序冗余后继束动作

看过本文同时还关注