作者：王焕宝; 张佑生不变集理想诚实性串空间
摘要：在串空间模型中将理想定义为其不变集的代数结构，并利用它的性质描述攻击者攻击行为的能力界限。将安全协议的形式化分析规约为代数系统的不变集生成,引入hash：K×B^n-1→B，扩充了原模型中的子句关系，并给出理想诚实性判定定理在扩充子句关系下仍成立的结论．在此基础之上，提出诚实性判定条件的可满足性定理和一种新的不变集生成算法．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《哈尔滨工业大学学报》（CN：23-1235/T）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《哈尔滨工业大学学报》以自己的特色和水平在国内外学术界赢得声誉，作为美国剑桥科学文摘数据库、中国优秀期刊（遴选）数据库、中国优秀期刊综合评价数据库、中国期刊全文数据库的来源期刊，其机构用户超过3000户，分布于25个国家和地区，学术影响遍及亚洲、北美、欧洲、大洋洲等各主要大学及国家图书馆，许多文章被国内外知名检索机构转载转摘。
省级期刊
人气 366724 评论 69
人气 238662 评论 36
人气 201962 评论 53
人气 154358 评论 33
