切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于着色petri网的安全协议验证方法
基于着色petri网的安全协议验证方法
来源 :华中师范大学学报(自然科学版) | 被引量 : 0次 | 上传用户:snowin11
【摘 要】
:
设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多.提出了一种基于着色petri网的安全协议验证方法.通过采用该方法对
【作 者】
:
刘进
陈丹
肖德宝
【机 构】
:
华中师范大学计算机科学系
【出 处】
:
华中师范大学学报(自然科学版)
【发表日期】
:
2006年3期
【关键词】
:
着色PETRI网
安全协议
STS协议
协议验证
CP-Nets
security protocol
STS protocol
protocol veri
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多.提出了一种基于着色petri网的安全协议验证方法.通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议.
其他文献
从计算机专业发展与就业谈其教学改革
摘要:随着计算机技术不断成熟与发展,计算机早已成为我们生活、学习、工作、娱乐不可或缺的工具。但计算机专业却成为余下几年,高校招生就业最为冷门的专业,这与专业发展和就业前景并不相符。追根寻底,是教育教学不能完成对计算机专业人才培养。追求个性化、行业化、领域化计算机专业人才的培养,将是计算机教育教学改革的方向。 关键词:计算机专业;就业前景;领域化;教育现状;教学改革 中图分类号:G424 文献标
期刊
计算机专业
就业前景
领域化
教育现状
教学改革
Computer professional
Employment prospects
Field change
废除中部地区的人为划分构建市场经济的真实区域——关于中国中部地区概念及其相关问题的探讨
中国现行的中部地区是计划经济体制下的、人为划分的中部,而从地理位置、经济梯度和市场经济体制下的经济格局3方面来看,如今划分的中部6省的这个中部实际上并不存在.所以,应该废
期刊
中部地区
经济中心
经济规律
the middle area of China
economic center
economic law
《老松白凤图》
期刊
书中自有黄金屋——浅谈藏书票艺术
《国际藏书票艺术双年展》从1953年首届开始,半个世纪以来,由国际藏书票协会联盟成员组织轮流主办31届,已成为国际瞩目的权威性展览。在2004年第30届《国际藏书票艺术双年展》上
期刊
艺术双年展
藏书票
北京奥运会
黄金
联盟成员
主办权
国际
协会
笔墨大书和谐盛世
和谐,是一种关系的平衡,是一种关系的有序状态和境界。在某种意义上,中国画是讲究与探讨和谐的艺术。
期刊
和谐
盛世
笔墨
中国画
平衡
状态
有序
艺术
隐之鸿
在中国文人墨客的传统中,隐士多是一种姿态,把国家天下的情怀,化为方寸间的山水,其中多有无奈,亦有不甘。而我认识的严隐鸿,“隐”不是退隐,不是寄情,而是本质天然。她原名严颖鸿。隐
期刊
生活状态
中国文人
自我认同
生活态度
家天下
精气神
名利
浅析由卷积微积分性质所得推论的应用条件
卷积积分是计算连续时间系统零状态响应的数学工具.指出在利用由卷积微分性质和积分性质所得推论简化求解卷积运算时,参与卷积的两个函数都要受到条件限制.通过理论分析并用实例
期刊
零状态响应
卷积
性质
应用条件
the zero state response
convolution integral
properties
appl
复形范畴函子(×RY,homs(Y,-))的同伦伴随性
主要讨论了复形范畴的张量积函子与horn函子的同伦伴随性,并且给出了同伦正则正向极限的定义,证明了复形范畴的张量积函子保持这种极限.
期刊
张量积函子
horn函子
伴随函子
同伦正则正向极限
tensor product functor
hom functor
adjoint functor
去看毕加索陶艺
2008年8月9日,在半个多世纪以后,西班牙人把一位世界级的艺术巨匠用土壤等材质咏叹的诗歌,带到召开第29届奥运会的北京,一场名为《材质的诗歌》的毕加索旷世奇品展,在北京塞万提斯
期刊
毕加索
2008年北京奥运会
陶艺
第29届奥运会
西班牙人
塞万提斯
驻华大使
美学理念
成年人二氧化碳总量参考值与地理因素的关系
健康人二氧化碳总量参考值是血气分析的一个重要指标.目前,国内外缺乏二氧化碳总量参考值的统一标准,该研究为制定中国成年人二氧化碳总量参考值的统一标准提供了科学依据.收集了中国70个单位用血气分析仪测定的9 157例健康成年人二氧化碳总量参考值,运用相关分析和回归分析的方法,研究了其与8个地理因素的关系.结果发现健康成年人二氧化碳总量参考值与中国地理因素之间有很显著的相关关系(F=41.098,P=0
期刊
二氧化碳总量
参考值
地理因素
回归分析
total carbon dioxide
reference value
geographical element
与本文相关的学术论文