一种基于串空间的不变集生成算法

• 作者: 张佑生 王焕宝
• 来源期刊: 哈尔滨工业大学学报
• 学科: 工学
• 关键词: 不变集 理想 诚实性 串空间
• 年，卷（期）: 2006,（3）
• 页码范围: 443-446,488
• 页数: 5页
• 分类号: TP309
• 字数: 6129字
• 语种: 中文
• DOI: 10.3321/j.issn:0367-6234.2006.03.032

摘要

在串空间模型中将理想定义为其不变集的代数结构,并利用它的性质描述攻击者攻击行为的能力界限,将安全协议的形式化分析规约为代数系统的不变集生成.引入hash:K×B n-1→B,扩充了原模型中的子句关系,并给出理想诚实性判定定理在扩充子句关系下仍成立的结论.在此基础之上,提出诚实性判定条件的可满足性定理和一种新的不变集生成算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张佑生	合肥工业大学计算机与信息学院	135	1269	19.0	29.0
2	王焕宝	合肥工业大学计算机与信息学院	6	22	4.0	4.0