论文部分内容阅读
密码协议是任何安全系统的基础，对它的设计越来越受到广大用户的关注。本文详细论述了文献[1]提到的一种密码协议，并使用有色Petri网对该协议建模分析，说明该设计的正确性。
有色Petri网的一种密码协议建模分析
【摘 要】
：
密码协议是任何安全系统的基础，对它的设计越来越受到广大用户的关注。本文详细论述了文献[1]提到的一种密码协议，并使用有色Petri网对该协议建模分析，说明该设计的正确性。
【机 构】
：
中山大学计算机系,中山大学数学系
【出 处】
：
现代计算机
【发表日期】
：
2006年2期
其他文献
在能源日益紧缺的今天,各个领域的节能工作变得越来越重要,高层楼宇的节能工作也越来越受到大家的重视,作为人们日常的工作以及生活的主要场所,其电气施工项目是一项重要组成
根据高速公路行人运动的先验知识．设计了一种基于视频检测技术的高速公路行人检测算法。该算法采用背景帧差分法获取运动目标区域，采用跟踪链实现运动目标跟踪，根据行人运动的先
与静态数组动相比，动态数组的特点在于它可以根据程序运行时状态的不同而随时改变容量．因此动态数组在程序设计中的使用十分广泛。介绍一个高性能动态数组的实现方法，实验结果表
组播VPN是一项在BGPMPLSVPN中支持组播业务的技术，该技术在各站点之间建立组播IP隧道，通过对私网内组播报文的封装完成在各站点之间传送组播数据的功能。
引入排序计算树和排列枚举树的概念。研究某些排序算法和全排列生成算法之间的关系，由插入排序算法直接导出了一个全排列生成算法。也由一个全排列生成算法导出了一个排序算法
在本文中,主要对斗轮式堆取料机流量扭矩监测装置进行全面的分析和研究,并且在此基础上提出下文当中一些内容,希望能够给与同行业人员提供一定的价值参考。
计算机取证技术是随着与计算机相关的知识产权问题、不履行安全规范问题和经济诈骗等问题的增加而出现的一门新兴学科。本文先介绍计算机取证的概念，继而介绍取证的核心技术一
利用VRML工作原理，提出了三维虚拟校园场景建模和集成方法，并给出了场景优化、系统交互、网上实现过程中若干问题的解决方案。
随着社会经济的发展和人民生活水平的提高,使固体废弃物的排放量猛增,给环境带来很大的危害,成为造成环境污染的罪魁祸首之一。因此在设计中我们也必须重视可持续性发展,绿色