2024年8月26日
星期一
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
贵州省自然科学基金(20042111)
作品数:
1
被引量:0
H指数:0
相关作者:
李祥
张梅
文静华
更多>>
相关机构:
贵州财经大学
贵州大学
更多>>
发文基金:
贵州省教育厅自然科学研究项目
贵州省自然科学基金
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
形式化
1篇
形式化分析
1篇
密码
1篇
密码协议
1篇
分析方法
1篇
安全性
1篇
ATL
机构
1篇
贵州大学
1篇
贵州财经大学
作者
1篇
文静华
1篇
张梅
1篇
李祥
传媒
1篇
计算机应用
年份
1篇
2006
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
一种新的密码协议分析方法及其应用
2006年
针对传统时序逻辑把协议看成封闭系统进行分析的缺点,提出一种新的基于策略的ATL(AlternatingtimeTemporalLogic)逻辑方法分析密码协议。最后用新方法对NeedhamSchroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击。工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。
文静华
张梅
李祥
关键词:
密码协议
安全性
形式化分析
ATL
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张