论文部分内容阅读
本文简单分析了因特网上典型安全会话过程。首先介绍了安全会话的基本要求和一些常用技术，然后分析了一个典型对话握手过程，最后用ＵＮＩＴＹ对其进行规范描述和正确性分析。
Internet安全会话解析和一个简单模型的正确性分析
【摘 要】
：
本文简单分析了因特网上典型安全会话过程。首先介绍了安全会话的基本要求和一些常用技术，然后分析了一个典型对话握手过程，最后用ＵＮＩＴＹ对其进行规范描述和正确性分析。
【机 构】
：
北京大学计算机研究所文字信息处理技术国家重点实验室,微软大中国区技术支持中心
【出 处】
：
计算机应用
【发表日期】
：
1999年9期
其他文献
通过探讨和研究Linux系统下Sybase数据库内存配置参数的特点，阐述了对Sybase服务器的优化内存配制参数的一些原则和方法，并给出一种测试方法和一组有指导意义的实验数据。
雷电具有超强的能量和极强的破坏性，给人们的生产和生活带来极大的不方便。而广电设施与人们的生产和生活有着密不可分的关系，如何有效地做好防护工作、减少雷电对广电设施的破
文中以公开密钥基础结构PKI为理论基础 ,针对现代企业网络应用的特点 ,提出了一种基于认证权威 (CA)的企业安全通信系统的设计方案 ,并对系统的安全性进行了分析。最后 ,给出了在Linux系统平台上构建CA的一个具体应用
利用PowerBuilder开发工具中数据窗口特性 ,将应用程序界面中的增加、删除、查询等控件结合到菜单中 ,将菜单与数据窗口进行集成 ,形成公用对象 ,取消程序界面中的增加、删除、查询控件 ,以达到实现扩展屏幕输入 /输出数据空间 ,提高程序整体设计一致性的目的
【正】 在国际共产主义运动中,中国革命走着特殊的道路。作为领导这场伟大革命的中国共产党,除领导中国人民进行了伟大的政治斗争和军事斗争外,还在思想领域里进行了一场把革
目的 探讨手术室医院感染与管理的方法。方法 通过学习医院感染知识，空气细菌培养无菌技术操作和无菌物品的管理。结果 手术室空气细菌应控制在≤200cfu/m3，普通洗手细菌总数≤
党的十七届四中全会通过的《中共中央关于加强和改进新形势下党的建设若干重大问题的决定》（以下简称《决定》）明确提出了提高党的建设科学化水平这个重大命题和任务，这是根据世
讨论了两实体间为递归关系的数据库设计方法,以产品的构成结构为例来说明如何显示产品的结构层次,并给出了当在产品结构树上选中任何一项时,计算其标准成本的设计和具体实现方案。
本文提出的可靠型链式信息帧传输方法，大大提高串行通讯 总线的利用率，并利用双绞线这样的简单通信体实现高速可靠的信息传送。