【摘 要】
：
网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 J
【机 构】
：
清华大学计算机科学与技术系!北京100084,清华大学计算机科学与技术系!北京100084,清华大学计算机科学与技术系!北京100084,清华大学计算机科学与技术系!北京100084
论文部分内容阅读
网络的普及使得网络安全问题日益重要 ,协议的安全性和密码算法的安全性是网络数据安全的两个最基本的概念。介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。提出了身份验证协议必须交换秘密的概念 ,还为协议的形式化验证过程设计了框架。实现的验证工具是证伪的
The popularity of the network makes the network security increasingly important. The security of the protocol and the security of the password algorithm are the two most basic concepts of network data security. This paper introduces several formal verification tools with representative security protocols and provides an attacker-based and secret-based security protocol verification algorithm using JAVA language. Proposed the concept that the authentication protocol must exchange secrets and also designed the framework for the formal verification process of the protocol. The verification tools that are implemented are falsified
其他文献
在计算中低轨道移动卫星对固定业务地面站干扰时 ,如何缩减计算时间是个突出的问题。该文提出了加大计算步长和设置仰角阈值两种方法 ,分析了理论上减少计算时间的可能性 ,并
采用通用化设备实现软件无线电平台可以使软件无线电技术更为通用化 ,同时具有可实现性。根据目前通用计算机和网络设备发展迅速 ,性能不断提高的趋势 ,提出一种由计算机和网
中国石油回归A股,让七年来内地股民无缘分享“亚洲最盈利企业”高收益的遗憾,终于一朝梦圆。而缔造了数个“第一”的中国石油,也在A股市场风光无限,成为受人追捧的“明星股”
(16)rn老知青魏仁帮助村民第一次把婴儿送人是救命,后来帮助村民把孩子送人却变成了索命.第一次把孩子送人是女人心不安魏仁心安,后来把孩子送人却是女人心安而魏仁心不安了.
7年的海外磨炼让中国石油脱胎换骨,回归A股的中国石油,将进一步增强公司竞争实力和回报能力,提升公司形象,实现更健康的发展。
After seven years of overseas training, Pe
动态视频对象的识别与检测是计算机图像处理领域中的一个前沿课题。该文提出了一种利用实时视频图像识别技术 ,对无规则行进队伍的人员进行检测与统计的系统模型和算法设计。基于颜色模型转换、减影、膨胀、腐蚀、聚类、匹配、跟踪等技术 ,实现了对特定检测区域内运动对象的识别、检测和计数。着重讨论了系统的设计原理和实现方法 ,以及对象运动的物理模型和多目标识别跟踪算法。该系统于1998年开始成功地应用于毛主席纪念
针对大规模分布式路由系统的安全保障问题 ,考虑到公钥密码系统在身份认证和密钥管理上的巨大成功 ,给出了一种基于公钥密码系统的安全机制。此安全机制去掉了一般安全系统中
梁念坚,50岁开外,澳门出生,在加拿大长大并接受教育.历任摩托罗拉公司亚太区总裁,现任微软全球资深副总裁、微软大中华区董事长兼首席执行官.梁念坚中等身材,壮实,皮肤黝黑,
作为超大盘蓝筹股,中国石油将对A股市场施加足够的影响力,成为A股市场的“定海神针”,对股市起到稳定作用,同时改善A股的整体估值水平,促进A股市场更加成熟.
中国石油成功上市后,A股市场的石油石化板块将基本反映和代表这一行业的发展态势,并将在A股占据重要的权重,有望形成金融、石油和电信“三足鼎立”的结构。
After the succe