切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种适于带时间戳安全协议的形式化分析方法
一种适于带时间戳安全协议的形式化分析方法
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:zhengj5817
【摘 要】
:
提出了一种适用于带有时间戳的安全协议的有GPetri(CPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPNTools,采用CPNML语言编写查
【作 者】
:
范玉涛
苏桂平
【机 构】
:
华北科技学院计算机系,中国科学院研究生院信息科学与工程学院
【出 处】
:
计算机工程与应用
【发表日期】
:
2012年36期
【关键词】
:
形式化分析
有色Petri网(CPN)
时间戳
安全协议
formal analysis
Colored Petri Net (CPN)
timestamp
【基金项目】
:
中国科学院研究生院院长基金(No.Y15102HN00).
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一种适用于带有时间戳的安全协议的有GPetri(CPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPNTools,采用CPNML语言编写查询函数验证协议的新鲜性,从而发现协议的漏洞。应用分析结果表明该方法有效,且操作简单容易理解。
其他文献
高中化学实现教学目标的策略研究
师生通过一系列课堂教学目标的达成而最终实现课程目标是落实新课程理念的重要途径,教学目标对于课堂教学起着指导性作用.教师的教学首先要有明确的教学目标,以完成教学目标
期刊
课堂教学过程
高中化学
标的
教学目标
课程理念
课程目标
师生
教师
周期性运动物体的特征提取及其分类
提出视频中周期性运动物体两种特征。第一种是通过傅里叶变换得到视频中周期性运动的频率。第二种是采用了一种基于行走模版的相似性度量作为人体运动的特征。通过支持向量机对六种行为特征进行分类实验检测,结果表明上述特征能够充分地表示视频中的行为,得到了较高的分类效果,而且该方法、简单快速。
期刊
外接矩形长宽比
关键帧
频率
相似度
external rectangular aspect ratio
keyframe
frequency
simil
高中物理课堂中图象法巧解物理典型例题
图象法是解决物理难题中一个好方法,能够清晰、直观、快速、准确地解决问题,可以提高学生学习物理的积极性.
期刊
物理课堂
图象法
典型例题
巧解
高中
学习
学生
面向C程序插装的路径提取
路径测试法是软件测试的一种基本方法。将C程序按照控制结构进行分类,结合路径测试特点进行插装,在设置探针的同时提取函数静态信息,算法采用先获取局部路径,再进一步获取全
期刊
路径测试
插装
函数路径
全局路径集
path testing
instrumentation
function path
global path set
试论《红楼梦》中仿词的翻译
仿词是《红楼梦》中大量运用的为使语言生动活泼、幽默诙谐的一种讽刺修辞手段。本文从实例出发,把《红楼梦》中的仿词归结为四大类(音仿、类仿、反仿、综仿),并对照杨译霍译两个
期刊
《红楼梦》
仿词
杨译
霍译
翻译
语言生动
修辞手段
修辞格
不可译
译本
现代企业制度下会计的“反映和控制”
国有企业建立现代企业制度,是适直社会主义市场经济发展的必然要求.是我国企业改革的方向。社会主义市场经济的形成,现代企业制度的建立,使得会计环境发生了根本性的变化。在现代
期刊
现代企业制度
会计活动
社会主义市场经济
我国企业
会计职能
会计目标
会计环境
方向
必然要求
改革
浅谈我国价格总水平运动趋势及其调控
期刊
中国
价格总水平
宏观调控
价格管理
生产要素
农产品
重工业产品
资讯公开制度的基本理念
期刊
资讯公开制
人性尊严
民主政治
公正行政
了解权
高中数学教学中学生创新精神培养方法实践
1前言随着新课程改革理念的进一步深入,传统的以理论知识传授为主体的教学方法已经不能满足新时代对人才培养的需求.新课程改革理念要求在教学过程中注重对学生综合素质的培
期刊
高中数学教学
高中数学课
自主学习
课程改革理念
教学方法
课堂教学
理论知识传授
综合素质
意识培养
人才培养
面向精益化安全校核的精细化母线负荷预测
为了提高电网安全校核的精益化管理水平,从基础性的母线负荷预测精细化研究入手。阐述了安全校核工作流程和精细化母线负荷预测流程。以精细化的母线分类为基础,采用差分演化模
期刊
母线负荷预测
精细化
安全校核
母线分类
地区负荷预测修正法
概率组合预测
bus load forecasting
elaboration
securit
与本文相关的学术论文