切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种新的基于有色Petri网的安全协议建模方法
一种新的基于有色Petri网的安全协议建模方法
来源 :通讯和计算机:中英文版 | 被引量 : 0次 | 上传用户:jswlgx
【摘 要】
:
密码协议安全性的分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点。本文提出了一种新的基于有色Petri网的安全协议建模方法,并以TMN密码协
【作 者】
:
李陶深
吴瑞龙
【机 构】
:
广西大学计算机与电子信息学院
【出 处】
:
通讯和计算机:中英文版
【发表日期】
:
2006年2期
【关键词】
:
有色PETRI网
CPN
TOOLS
安全协议
密码协议
Colored Petri Nets
CPN Tools
Security Protocol
C
【基金项目】
:
本文得到广西留学回国人员科学基金项目(桂科回No.0342001)和广西科技攻关项目(桂科攻No.033008-9)的资助.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
密码协议安全性的分析是网络安全的一个难题,运用形式化方法对密码协议进行分析一直是该领域的研究热点。本文提出了一种新的基于有色Petri网的安全协议建模方法,并以TMN密码协议为例,说明了这一方法的建模过程。
其他文献
绵羊贫血病的防治
绵羊贫血是多种疾病的一个症候表现,常年均有,炎热潮湿季节易发,一年内的幼小羊只多发,多因管理不善和其他疾病引发,加强饲养管理配合药物治疗,效果良好。对其病因、症状、诊断及防
期刊
贫血病
防治
绵羊
做好化工机械设备安装工程监理的实践经验
化工机械设备安装工程监理是化工机械设备安装过程中的重要环节,直接关系到化工机械设备安装的质量和效率,从而决定着化工机械生产的安全性和稳定性。因此,本文主要研究做好
期刊
化工机械设备
安装工程监理
实践
措施
Complex multiplier suited for FPGA structure
期刊
FPGA
乘数
WALLACE树
结构
有效利用
路径延迟
合成电路
现场可编程
complex multiplier
FPGA
LUT
carry-ch
试分析衡器检定中的替代方法
本文主要以衡器检测方法概述作为出发点,分析了衡器的替代方法,并探讨了替代法误差分析,以期为减少衡器检定结果误差值提供一些参考和意见。
期刊
衡器检定
替代方法
重要性
一个抗旋转、缩放、平移攻击的图像水印算法
对数极坐标变换是图像的一个空间变体表示,很多图像视觉系统用它来消除输入图像的缩放和平移效果。本文利用数极坐标变换的性质,消除平移和缩放对水印的威胁,用搜索的方法柬应封
期刊
几何攻击
对数极坐标变换
数字水印
Geometric Attack
Log-polar Transform
Digital Watermark
癌基因c—fos和c—jun在肝细胞型肝癌中的表达及临床意义
目的:研究癌基因c-fos和c-jun在肝细胞型肝癌中的表达及临床意义.方法:采用免疫组化技术检测10例正常肝组织、23例癌旁异型增生肝组织和31例肝细胞型肝癌组织的癌基因c-fos和
期刊
C-FOS
C-JUN
免疫组化
肝细胞型肝癌
oncogen cfos and cjun
hepatocellula carcinoma
immunohi
Technology transfer and sustainability-adapting factors: Culture, physical environment and geographi
期刊
GCC
通信
计算机
理论
technology transfer
culture
Saudi Arabia
sustainability
基于线性多项式重构的快速相关攻击算法研究
T.Johansson和E.Joensson提出了不同于二元对称信道(BSC)模型的线性多项式重构的快速相关攻击算法。本文对该算法进行了改进,改进后的算法的计算复杂度比原算法降低了一半以上。
期刊
线性反馈移位寄存器
相关攻击
Linear Feedback Shift Register
Correlation Attacks
论电梯管理对电梯运行质量的影响分析
由于城市化的发展,楼层逐渐增高,传统的楼梯已满足不了人们需要,电梯逐渐出现在人们的生产生活之中。电梯的高效、快速性备受人们欢迎,已成为日常生活生产中重要的交通运输工
期刊
电梯
运行
管理
事故
质量
基于SPA的模式识别
发展和深化了集对分析(SPA)基础理论,并在此基础上探讨了基于集对分析的模式识别方法,给出了集对模式识别的三个判定原则,这对SPA的发展及其在模式识别中的应用提供了理论支持。
期刊
集对分析
联系数
集对模式识别
加权集对值
VAGUE集
Set Pair Analysis (SPA)
contact number
set pair-p
与本文相关的学术论文