安全协议的串空间图表示

评论推荐

王焕宝 张佑生 李援

合肥工业大学计算机与信息学院,合肥230009

摘　　要:

串空间是安全协议的一种形式化描述，串空间图是它的图示化表示．定义开丛为串空间图的构造单元，并在开丛集上定义前缀算子和组合算子．通过开丛之间的前缀和组合运算，给出了无穷并发运行安全协议串空间图的生成方法．定义了开丛互模拟以及串空间图之间的互模拟等价关系，并给出用于消除串空间图冗余结构的化简规则＋案例分析和与相关工作的比较表明，无冗余的串空间图为无穷并发运行安全协议的安全属性验证提供了一个有效的分析模型．
页　　数:
共7页
页码范围:
2062-2068页

相关文章:

主题相关 参考文献(7篇)　被引情况(1篇)　
参考文献+更多
相关期刊+更多
    社区热帖+更多
    • 快讯