论文部分内容阅读
对等实体鉴别服务是网络安全体系结构中的一项重要服务。本文介绍了计算机网络通信环境中的带时间标记的鉴别协议，该协议具有对称性，事件的时序是任意的。根据该协议的状态转称图，本文应用可达性分析技术，验证了该协议的完整性，无死锁，无活锁，终止性，有界性以及在不存任何不可执行的交互作用等重要性质。
带时间标记的鉴别协议的验证
【摘 要】
：
对等实体鉴别服务是网络安全体系结构中的一项重要服务。本文介绍了计算机网络通信环境中的带时间标记的鉴别协议，该协议具有对称性，事件的时序是任意的。根据该协议的状态转称
【机 构】
：
南京理工大学计算机科学与工程系
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年7期
其他文献
思想政治工作是构建和谐社会的中心环节，是生命线，必须适应当前的社会发展新要求，注重不断探索和改进企业思想政治工作的新途径、新手段，创新思想政治工作的内容，体现出针对性和灵
本文介绍了老园水库闸门计算机监控系统的结构、功能、配置及其改造意义。该系统可实时采集水文数据和闸门开度数据，运用计算机分析软件处理数据，根据实际要求及时生成各图表和
本文简要介绍了计算机辅助测试领域中几种不同的编程范型，并结合美国ＮＩ公司的ＬａｂＶＩＥＷ图形 编程环境，着重论术了图形化编程的概念框架－对象模型及其四大要素。
加强学校计划生育管理工作，提高学校计划生育工作水平，必须以“三个代表”重要思想和科学发展观为指导，切实加强计生队伍的思想政治工作，努力培养和造就一支思想好、觉悟高、肯奉
张家港市兆丰小学地处长江之滨，始建于1947年，2002年被命名为江苏省实验小学。学校先后荣获全国科技教育示范单位、江苏省中小学“金钥匙”科技竞赛先进学校、江苏省青少年电子
变电所是电力系统中对电能电压和电流进行变换、集中和分配的场所,是联系发电厂与电力用户的纽带,担负着电压变换和电能分配的重要任务。变电所是电力系统防雷的重要保护部分
全局事务调度是分布异构数据库互操作系统研究的重要方面，调度的目的是保证全局事务执行的原子性、顺序化及与本地事务的互斥。本文介绍一个基于两阶段提交的事件计数法的互操
如果要问第7届珠海国际航空航天博览会上谁是最耀眼明星，那非中国的战斗机群莫属啦。2008年11月第7届珠海航展上，中国空军亮出了许多军用飞机，让观众们大开眼界。下面就让我们来