基于扩展消息子句关系的不变集表示

摘要：

本文指出串空间模型中消息子句关系的局限性,并通过引入映射f:K×Bn-1→B,扩展了该消息子句关系.扩展消息子句关系可以修补由消息子句关系引起的原模型缺陷.在扩展消息子句关系下,给出子句不变集表示,并论证理想诚实性判定定理具有保持原有描述形式不变的特点.

关键词： 扩展消息 子句关系 不变集 理想 串空间 密码协议

作者: 王焕宝 张佑生 侯整风

作者单位: 合肥工业大学计算机与信息学院,合肥,230009

会议类型: 国内会议

会议名称: 2005年中国模糊逻辑与计算智能联合学术会议

会议地点: 深圳

会议语种:中文

页码: 19-23

在线出版日期: 2005-04-16（万方平台首次上网日期，不代表论文的发表时间）