论文部分内容阅读
Petri网作为一种数学工具，已被广泛应用于过程的描述、分析和验证。文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析，发现并验证该协议的安全缺陷。
基于有色Petri网的一种密码协议的描述和分析
【摘 要】
：
Petri网作为一种数学工具，已被广泛应用于过程的描述、分析和验证。文章使用有色Petri网对文献[1]中提到的一种密码协议进行描述和分析，发现并验证该协议的安全缺陷。
【机 构】
：
中山大学计算机系,中山大学数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2006年23期
其他文献
针对数据仓库的一种典型应用,论文提出了利用关键属性索引作为HASH函数变元的数据仓库星型模型构造算法;在此基础上,通过区分两种不同类型的关键属性,进一步提出了以静态属性
中国农村社会的和谐发展，离不开农村的文化建设。只有充分认识农村文化建设的意义和作用，才能把握好农村文化建设的原则和任务，进而推进农村社会的和谐发展。
承租人优先购买权是指出租人转让房屋时，承租人在同等条件下，依法享有优先于其他人而购买该房屋的权利。承租人优先购买权是一种形成权、限制权和专属权。对承租人优先购买权应
Web页面中的主要信息通常隐藏在大量无关的特征中,如无关紧要的图片和不相关的连接,使用户不能迅速获取主题信息,限制了Web的可用性.论文提出一种网页主题内容提取的方法及相