【摘 要】
：
目前安全协议分析的偏序归约算法较为复杂、不易实现,限制了其适用范围,且以动作为基础,粒度较小,对减少状态空间的作用有限。针对该问题提出了一种束动作偏序约简算法,将同
【机 构】
：
解放军信息工程大学信息工程学院网络系
【基金项目】
：
国家“863”计划资助项目(2007AA01Z471)
论文部分内容阅读
目前安全协议分析的偏序归约算法较为复杂、不易实现,限制了其适用范围,且以动作为基础,粒度较小,对减少状态空间的作用有限。针对该问题提出了一种束动作偏序约简算法,将同一会话中的动作序列看做一个束动作,根据攻击者截获的消息与攻击者知识集间的关系,判断迹等价的束动作迁移所到达的后继状态是否为冗余节点,以约简状态空间。该算法思想简单、易于实现;实例表明它有效地约简了安全协议的状态空间。
其他文献
应用模型药物罗丹明123(Rh123)和"三明治"培养大鼠原代肝细胞(SCRH),建立并验证基于P-gp的胆汁排泄体外评价模型。SCRH培养5天后形成胆管,加入Rh123(10μmol.L-1),在含Ca2+和
<正>网络成瘾症可分为以下6种类型:A型:单纯性网络成瘾症:此类成瘾者沉迷于网络,以玩各类游戏、聊天及观看综合性节目为主。
<正> 保护历史上遗留下来的档案文件,长期以来一直是专业档案工作者最重要的职责。由于档案馆藏量的不断扩充以及有关费用的增长,档案管理人员正在寻求合作的方法来保护档案
农业具有弱质性,长期以来的剪刀差造成了城乡之间的巨大差距,而且农产品价格过低也影响农民收入和从事农业生产的积极性,应该改革农产品价格支持政策,建立全国统一的市场,规
<正>在数学中,判断解题是否合理的标准,在于其论据是否充分、推理是否严谨、结论是否正确,而不决定于采用什么样的方法.一、从式子进行观察【例1】解方程:xx11=11.
修改后的刑事诉讼法设立了违法所得特别没收程序,有助于解决职务犯罪案件犯罪嫌疑人、被告人逃匿、死亡情形下违法所得的追缴问题。作为新设程序,刑事诉讼法的规定比较原则,
<正>新课程倡导自主、探究、与人合作的学习方法,培养学生的探究精神和合作能力,为学生自身的发展奠定良好的基础。但在实施合作学习过程中,由于学生的性格不同,能力有差异,
为了研究中药川续断干燥根的化学成分,利用D101大孔吸附树脂、硅胶、ODS等柱色谱和高效制备液相等各种色谱手段,对其75%乙醇提取物进行系统的分离和纯化,共得到5个化合物。其
公安机关利用"网络通缉"、"人肉搜索"的方式侦查破案,在各地已经有了成功的范例。公安机关进行"网络通缉"、"人肉搜索"是公安信息化建设、网络侦查的最新进展。当前,对公安机
随着我国人民生活水平的不断提高,乳制品已走进了千家万户,并在人们的饮食结构中占有重要地位。乳制品企业如何通过企业良好的营销活动,实现乳制品的价值,更好地满足消费者的