您的位置：网站首页 > 《中文科技期刊数据库》 > 工程技术 > 自动化计算机 > 计算机技术理论 > 摘要
安全协议的串空间图表示
王焕宝 张佑生 李援 合肥工业大学计算机与信息学院 合肥230009
|
摘要：串空间是安全协议的一种形式化描述，串空间图是它的图示化表示．定义开丛为串空间图的构造单元，并在开丛集上定义前缀算子和组合算子．通过开丛之间的前缀和组合运算，给出了无穷并发运行安全协议串空间图的生成方法．定义了开丛互模拟以及串空间图之间的互模拟等价关系，并给出用于消除串空间图冗余结构的化简规则＋案例分析和与相关工作的比较表明，无冗余的串空间图为无穷并发运行安全协议的安全属性验证提供了一个有效的分析模型． | |
|---|---|---|
| 格式：PDF 页数：7 页 页码范围：2062-2068页 | ||
学科分类：
|
||
| 关 键 词：安全协议 串空间图 形式化建模 | ||
| 来源期刊：《计算机研究与发展》2006年 第12期 | ||
| 收录数据库：中文科技期刊数据库 | ||
|
||
