【摘 要】
：
认知逻辑的Kripke语义,已被成功地运用到分析无黑客存在的安全网络下的通信协议.提出认知逻辑的Kripke语义的一种简单而自然的形式,称之为知识结构,并把这种语义用到分析黑客
论文部分内容阅读
认知逻辑的Kripke语义,已被成功地运用到分析无黑客存在的安全网络下的通信协议.提出认知逻辑的Kripke语义的一种简单而自然的形式,称之为知识结构,并把这种语义用到分析黑客存在的非安全网络环境中的通信协议,特别是认证协议.与类BAN的那一类逻辑相比,文中的方法可以直接转化成算法实现,对协议本身进行操作,而不需对协议进行一些难以把握的抽象判断.而且,在这套理论的基础上开发了安全协议分析器SPV.文中的方法是基于证明的而不是证伪的,即证明协议的正确性而不是找协议漏洞.
其他文献
目的了解用药情况，促进合理用药，保障用药安全。方法随机抽查我院2013年第一季度门诊处方13000张，对其进行统计分析。结果其中不合理处方1992张,占所抽查处方15.32%；使用抗生素处
目的观察、比较笑气配伍利多卡因与异丙酚加芬太尼在人工流产中的镇痛效果。方法利多卡因宫颈局麻加笑气吸入与异丙酚加芬太尼静脉推注，比较镇痛效果，宫口扩张情况。结果异丙酚
目的对2010~2012年萍乡市275份人类免疫缺陷病毒(HIV)确证阳性样本进行免疫印迹(WB)条带分析，增强对 WB试验结果的分析判断能力。方法按照《全国艾滋病检测技术规范》[1](2009
青光眼是致盲性眼病，它是一组以眼压异常升高，视力功能障碍（视野缺损、视力减退及适应机能低），视神经凹陷性萎缩为特征性的眼病。早发现，早诊断，早治疗是预防视力功能损害的唯一途径
目的分析两种不同手术方式治疗胸腰椎骨折的特点。方法我院自2007年6月~2012年6月收治符合本研究要求的胸腰椎骨折48例，根据手术方法不同随机分为观察组（单纯椎弓根螺钉内固定
目的评价彩色多普勒能量图(CDE)在结节性甲状腺肿的临床应用价值.方法采用CDE对20例结节性甲状腺肿共55个结节的血供行CDE和CDFI对照观察,了解结节内部或周边血流显示与分级
目的探讨超声在下肢深静脉血栓治疗过程中所发挥的评估作用。方法利用超声的二维显像及彩色多普勒功能对下肢深静脉血栓经治疗后的管腔狭窄情况，血流通畅程度，血流速度进行观察
精神病患者是一个弱势群体，指导和训练患者的自理能力，充分调动患者的积极性，提高生活质量，促进全面康复，及早回归家庭和社会，是精神科工作人员的职责，也是优质护理服务的重要内容之
笔者自从1995年以来，共计对92例经手法整复无效的肱骨外髁翻转移位骨折的患者采用了经皮撬拨复位治疗，取得了较为满意的疗效。现报告如下：
目的探讨应用健康教育处方对胃癌患者实施围手术期护理的效果。方法将64例胃癌患者随机分为观察组34例，对照组30例，观察组在传统教育的基础上实施健康教育处方，对照组采用传统的