论文部分内容阅读
本文简单分析了因特网上典型安全会话过程。首先介绍了安全会话的基本要求和一些常用技术，然后分析了一个典型对话握手过程，最后用 Ｕ Ｎ Ｉ Ｔ Ｙ 对其进行规范描述和正确性分析。
Internet安全会话解析和一个简单模型的正确性分析
【摘 要】
：
本文简单分析了因特网上典型安全会话过程。首先介绍了安全会话的基本要求和一些常用技术，然后分析了一个典型对话握手过程，最后用 Ｕ Ｎ Ｉ Ｔ Ｙ 对其进行规范描述和正确性分析。
【机 构】
：
北京大学计算机研究所文字信息处理技术国家重点实验室!北京100871v,北京大学计算机研究所文字信息处理技术国家重点实验室!北京100871,北京大学计算机研究所文字信息处理技术国家重点实验室!北京1
【出 处】
：
计算机应用
【发表日期】
：
1999年09期
其他文献
伴随着全球一体化趋势的深化，大数据几乎已经实现了面向全社会各行各业的广泛渗透，在对档案管理工作提出新要求的同时，带来了技术性的全新机遇。基于此发展背景，本文首先分析基于
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
西南交大校园卡′９６ 系统、清华大学校园 Ｉ Ｃ 卡系统是国内高校有代表性的校园 Ｉ Ｃ 卡系统。此类多功能 Ｉ Ｃ 卡系统的设计，特别是系统的安全设计，对企事业单位的（ 单用途） Ｉ Ｃ 卡支付系统和实现“一卡通”多功能应用系统的安全设计均有普遍参考价值。
档案部门应充分依靠自身的独特资源优势，在文化强市建设中有所作为。本文从发挥档案的文化传承、宣传教育和利用服务三方面功能，论证了档案工作在文化强市建设中的延脉、造势、
Effects of benzoic acid (VevoVitall(R)) on the performance and jejunal digestive physiology in young
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
本文提出了一个将安全监视图像分成背景图像与运动视频图像并分别存储入库以提高图像数据压缩比的思想，并研究了安全监视图像数据库的数据模型，给出了系统结构。
现阶段，伴随着我国市场经济的持续、高速发展，以及科学技术水平的全面提升，我国逐步迈入了大数据时代。但与此同时，人们的生活节奏日益加快，所以碎片化阅读成为一种十分流行的阅读
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
为了解决自动化孤岛之间的有效通讯问题。这里提出用 Ｊａｖａ 在 Ｉｎｔｅｒｎｅｔ 上开发一种基于 Ｃ Ｏ Ｒ Ｂ Ａ 的工作流管理系统的方法。并在工作流管理系统中引入了 Ａｇｅｎｔ 技术。
In order to solve the pr
目前，随着我国医疗技术的飞速发展，医改及新农合医疗制度的不断深入实施，病人在医院就医期间也就形成了大量的各种诊治文字、图表、实验室检查和其他特殊检查报告等材料。病例档
期刊