期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
抽象状态机下认证协议新的语义模型
原文传递
导出
摘要
为了简洁而正确的表达一个密码协议,选择一个具有比较自然语义的模型是十分必要的。不仅如此,一个恰当的模型须便于安全性质的分析,因此,具有一定的表达能力是十分必要的。为了探讨适合的方法和工具,人们使用各种各样的形式化工具来表达、分析密码协议的安全性。目前主要的方法包括逻辑的方法,如BAN逻辑,SVO等;基于模型检测的方法,如FDR工具,基于定理证明的和代数方法等等。各种方法都具有自己的优势和缺陷。探讨不同的方法和工具对于密码协议的描述和分析具有重要的意义。并可借此发现和发明好的模型和方法。
作者
RuiXue Deng-GuoFeng
机构地区
StateKeyLaboratoryofInformationSecurity
出处
《Journal of Computer Science & Technology》
SCIE
EI
CSCD
2004年第C00期103-103,共1页
计算机科学技术学报(英文版)
关键词
密码协议
语义模型
状态机
认证协议
模型检测
BAN逻辑
工具
表达
安全性
方法
分类号
TP393 [自动化与计算机技术—计算机应用技术]
TP311 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
石磊,张燕平,黄燕,孙晓濛.
基于自然语义的词句含义分析系统综述[J]
.电脑知识与技术,2015,11(5X):128-129.
2
卿斯汉.
一种新型的非否认协议[J]
.软件学报,2000,11(10):1338-1343.
被引量:21
3
刘志猛,赵燕丽,范辉,原达.
适应受限环境的认证协议及其SVO逻辑分析[J]
.计算机工程,2009,35(20):151-152.
被引量:1
4
崔楠.
电子邮件协议的非否认性形式化分析[J]
.计算机与信息技术,2009(5):36-38.
5
汇都国际开启昆明数字营销新时代2期产品发布——SVO突破商务办公新格局![J]
.大观周刊,2010(43):50-50.
6
李卫忠.
让IT理解自然语义和海量数据[J]
.中国信息界(E制造),2012(1):36-36.
7
王涛,陈敏翼,齐军.
基于Clight形式语义的代码功能描述提取[J]
.计算机应用,2012,32(8):2333-2337.
8
丁胜彬.
范畴语法在自然语义分析中的应用[J]
.电脑知识与技术,2009,5(9X):7728-7729.
被引量:3
9
黎波涛,罗军舟.
不可否认协议形式化分析的SVO逻辑方法[J]
.东南大学学报(自然科学版),2005,35(5):688-691.
被引量:2
10
方园.
电脑的人性化和人性化的电脑[J]
.科学新闻,2000,0(33):17-17.
Journal of Computer Science & Technology
2004年 第C00期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部