论文部分内容阅读
本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性。
一个面向安全协议分析的非单调逻辑
【摘 要】
：
本文提出一种对安全协议进行分析的非单调逻辑。使用知识集描述已知的断言,使用信念描述安全协议系统的默认判断,通过推理和非单调的信念维护,可以验证安全协议的安全性。
【机 构】
：
装甲兵工程学院信息工程系,北京邮电大学网络与交换技术国家重点实验室
【出 处】
：
计算机工程与科学
【发表日期】
：
2007年10期
其他文献
2007年7月～2010年7月对90例胃癌患者施行根治术,通过术后护理干预,使术后恢复顺利,术后并发症发生率低.现总结报告如下. 临床资料 本组90例胃癌患者中,男56例,女34例,年龄22
利用公钥基础设施PKI来解决网络通信中的信息安全问题日渐普及，但目前的PKI大多为集中式，存在扩展性较差、单点失效等缺陷。针对这些问题，本文提出了一种基于P2P的非集中式PKI体
现有的访问控制技术主要依靠主体的标识来实现对系统资源的保护，在权限的控制时没有考虑执行的上下文环境。随着网络和分布式计算的发展，应用环境具有分布、异构、动态的特点，需
在第五届中国旅游酒店业投资发展高峰论坛上，中国著名的酒店顾问公司--合纵酒店顾问公司执行总裁欧阳国庆给大会到场的专家及嘉宾分享了中国旅游酒店最新的投资发展趋势和投资
Web服务事务处理必须提供协调短事务和长事务的能力。本文提出了一个基于共享内存的Web服务事务处理模型，在以．Net为开发工具实现企业级信息管理系统时，利用现有技术，不对Web Ser
病历资料 2011年7月6日，笔者正在和科组其他人员一起在开展《上海市民健康教育与健康行为项目》的流调工作，约10：00左右突然接到乡村医生的电话，告知该村精神病患者(慢性精神分裂症)，最近10天来吃药不规则，断断续续，睡眠差，在家里大喊大叫，自言自语，胡言乱语。曾于7月5日中午12：30左右，公安人员到他家准备处置住院，患者谎称到楼上取香烟，趁机从三楼逃到屋顶上，高度约10米，患者在房屋天沟梁
结合SSL VPN的实现，本文介绍了SSL的概念和协议，详细阐述了一种SSL VPN服务器的具体架构设计与实现。SSL VPN能够提供更安全的连接。
人工全膝关节置换术的目的是为了缓解患者的关节疼痛,矫正关节畸形,改善患膝功能状态,不断提高患者的关节活动能力和生活自理能力[1]。目前被认为是治疗终末期或严重的膝关节