|
摘要:串空间是安全协议的一种形式化描述,串空间图是它的图示化表示.定义开丛为串空间图的构造单元,并在开丛集上定义前缀算子和组合算子.通过开丛之间的前缀和组合运算,给出了无穷并发运行安全协议串空间图的生成方法.定义了开丛互模拟以及串空间图之间的互模拟等价关系,并给出用于消除串空间图冗余结构的化简规则+案例分析和与相关工作的比较表明,无冗余的串空间图为无穷并发运行安全协议的安全属性验证提供了一个有效的分析模型. | |
|---|---|---|
| 格式:PDF 页数:7 页 页码范围:2062-2068页 | ||
学科分类:
|
||
| 关 键 词:安全协议 串空间图 形式化建模 | ||
| 来源期刊:《计算机研究与发展》2006年 第12期 | ||
| 收录数据库:中文科技期刊数据库 | ||
网站首页 |
关于我们 |
联系我们 |
产品服务 |
客服中心 |
广告服务 |
版权声明 |
网站联盟 |
友情链接 |
售卡网点 |
商务链
| 商务链接 | 小说阅读网 | 快播电影 | 电棍 | 百度影音 | 综艺大哥大 | 肺癌 | 神印王座 |
| 不孕不育医院 | 3u小说 | 快播电影 | 伴游网 | www.reyoo.net | 不孕不育医院 | 美国留学 | 3gp手机电影下载 |
| 脱发原因及治疗 | 网页版传奇 | 2012最新电影 | 女人女性 | 化妆品 | 成人小游戏 | 上海白癜风医院 | 遮天快眼看书 |
| qvod电影 | 类风湿 | 美白方法 | 髓损伤 | 神印王座 | 胸部整形 | 快速美白的方法 | 帕金森治疗 |
| 生活指南 | 淘宝网女装 | 百度影音 | 全讯网 | jj斗地主官网下载 | 肝硬化治疗 | 小儿脑瘫 | 女丽女性网 |
