基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协议认证和秘密性的证明,从而成为许多协议形式化分析工具和技术的核心.
推荐文章
Kerberos协议的形式化分析
安全协议
BAN逻辑
Kerberos协议
密码协议的形式化分析
形式化分析
BAN逻辑
模型检测
通用形式方法
定理证明
一种快速安全认证协议及其形式化分析
认证协议
效率
形式化分析
PCL
密码协议形式化分析的计算合理性
形式化方法
计算方法
合理性定理
密码协议分析
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 安全协议形式化分析的不变式生成技术
来源期刊 中国科学院研究生院学报 学科 工学
关键词 协议 形式化分析 不变式
年,卷(期) 2002,(1) 所属期刊栏目 简报
研究方向 页码范围 91-96
页数 6页 分类号 TP309
字数 4457字 语种 中文
DOI 10.3969/j.issn.1002-1175.2002.01.013
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 郭金庚 解放军信息工程大学安全学院计算机系 20 165 7.0 12.0
2 冯登国 中国科学院研究生院信息安全国家重点实验室 243 6305 35.0 71.0
3 范红 中国科学院研究生院信息安全国家重点实验室 10 243 6.0 10.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (46)
参考文献  (3)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1990(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
2001(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
协议
形式化分析
不变式
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
中国科学院大学学报
双月刊
2095-6134
10-1131/N
大16开
北京玉泉路19号(甲)
82-583
1984
chi
出版文献量(篇)
2247
总下载数(次)
2
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
国家重点基础研究发展计划(973计划)
英文译名:National Basic Research Program of China
官方网址:http://www.973.gov.cn/
项目类型:
学科类型:农业
论文1v1指导