2024年11月1日
星期五
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
田国良
作品数:
3
被引量:3
H指数:1
供职机构:
南京邮电大学软件学院
更多>>
发文基金:
国家高技术研究发展计划
更多>>
相关领域:
自动化与计算机技术
电子电信
更多>>
合作作者
陈春玲
南京邮电大学软件学院
作品列表
供职机构
相关作者
所获基金
研究领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
2篇
期刊文章
1篇
学位论文
领域
2篇
自动化与计算...
1篇
电子电信
主题
2篇
安全协议
2篇
SPIN
1篇
形式化
1篇
形式化分析
1篇
形式化分析方...
1篇
语言建模
1篇
网络
1篇
网络安全
1篇
计算机
1篇
计算机网
1篇
计算机网络
1篇
PROMEL...
机构
3篇
南京邮电大学
作者
3篇
田国良
2篇
陈春玲
传媒
1篇
电力系统通信
1篇
南京航空航天...
年份
2篇
2009
1篇
2008
共
3
条 记 录,以下是 1-3
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
NSPK协议的Promela语言建模及分析
2008年
重点提出了对NSPK协议进行建模设计的思想和方法,阐述了如何用Promela语言实现模型的关键技术。使用Spin对该模型进行行为模拟和属性校验,结果既能保证协议的正常执行,也能帮助发现安全缺陷。
田国良
陈春玲
关键词:
SPIN
PROMELA
安全协议的SPIN建模与分析
被引量:3
2009年
总结了利用模型检测工具SPIN对安全协议进行建模的方法。以Helsinki协议和Helsinki改进协议作为分析实例,用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验,发现了Helsinki存在的Horng-Hsu攻击漏洞以及Helsinki改进协议存在的DoS攻击隐患。该方法具有较好的通用性,容易推广到有多个主体参与的安全协议的分析。
陈春玲
田国良
关键词:
安全协议
安全协议的形式化分析方法及验证技术研究
计算机网络安全问题日益引起人们的重视。安全协议是用来保证网络通信安全的重要工具。但研究证明安全协议大多数都有安全漏洞。作为信息安全的一项重要研究内容,安全协议的分析具有极为重要的理论意义和实际价值。论文以形式化分析方法为...
田国良
关键词:
计算机网络
网络安全
安全协议
文献传递
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张