论文部分内容阅读
提出了一种用有色Petri网对安全协议建模，并通过模拟和对状态空间检测来发现协议漏洞的方法。利用这一方法对著名的Needham-Schroedor公钥协议建模，然后用CPN Tools实现并对协议进行检测，发现了协议存在的漏洞。应用结果表明，方法有效。
基于有色Petri网模型的安全协议检测方法
【摘 要】
：
提出了一种用有色Petri网对安全协议建模，并通过模拟和对状态空间检测来发现协议漏洞的方法。利用这一方法对著名的Needham-Schroedor公钥协议建模，然后用CPN Tools实现并对协
【机 构】
：
广西大学计算机与电子信息学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2006年3期
其他文献
目的：探讨同时携带CRT基因及MAGE—A3基因的重组腺病毒载体转染人肺腺癌细胞A549后基因的表达及其对体外增殖、侵袭、凋亡及血管形成能力的影响。方法：Ad—CRT／MAGE—A3转染A549
描述了CSP生产线数据传输系统的设计目标、设计原则、网络结构及软件的设计方法。实践表明，使用该系统可显著提高工作效率。
目的：探讨龙力胶囊（Longli capsule，LLC）对环磷酰胺（cyclophosphamide，CTX）的增效减毒作用。方法：以S180荷瘤小鼠为模型。实验分为荷瘤模型组、LLC组、CTX组、CTX＋LLC组，另设正常对照组
提出了一种适用于H．264编解码环内去块效应滤波的VLSI结构。利用相邻4×4像素块间数据的依赖关系合理组织数据存储顺序．并通过增加本地SRAM，使垂直滤波数据来自本地，读写外部
文章设计了一种用于光纤通信的高速串行数据接收芯片。本芯片采用0．6μm BiCMOS工艺实现．最高工作频率为400M~，主要由时钟数据恢复、串并转换、10B/B解码等电路构成。在设计中，采