期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
基于行为时序逻辑的安全协议研究
被引量：
1
下载PDF
职称材料
导出
摘要
随着计算机网络的不断发展,全球信息化已经成为社会发展的必然趋势。在网络的应用和服务中,信息安全是至关重要的环节。而安全协议是保障信息安全最基本内容之一,已广泛应用在计算机通信网和分布系统中。这样,高效准确的安全协议的研究是必不可少的。本文主要采用基于行为时序逻辑TLA的HLPSL语言形式化分析与检测Geopriv协议。
作者
黄佳
机构地区
贵州交通职业技术学院
出处
《信息通信》
2012年第4期22-23,共2页
Information & Communications
关键词
行为时序逻辑
Geopriv协议
AVISPA
分类号
TP309 [自动化与计算机技术—计算机系统结构]
引文网络
相关文献
节点文献
二级参考文献
2
参考文献
2
共引文献
14
同被引文献
20
引证文献
1
二级引证文献
8
参考文献
2
1
Leslie Lamport. The Temporal Logic of Actions[M]. ACM Transactions on Programming Languages and Systems. 1994,5(16):872-923.
2
肖德琴,周权,张焕国,刘才兴.
基于时序逻辑的加密协议分析[J]
.计算机学报,2002,25(10):1083-1089.
被引量：15
二级参考文献
2
1
曾小平,孙永强.
用Spi演算描述和验证密码学安全协议[J]
.计算机工程,1999,25(2):51-53.
被引量：3
2
周典萃,卿斯汉,周展飞.
Kailar逻辑的缺陷[J]
.软件学报,1999,10(12):1238-1245.
被引量：29
共引文献
14
1
张广胜,吴哲辉,逄玉叶.
基于时间Petri网的密码协议分析[J]
.系统仿真学报,2003,15(z1):11-16.
被引量：6
2
沈丁,叶长国,胡勇.
通过硬件强化程序反跟踪加密的方法[J]
.山东农业大学学报（自然科学版）,2004,35(3):458-461.
被引量：1
3
XIAODe-qin,ZHANGHuan-guo.
Model Checking Electronic CommerceSecurity Protocols Based on CTL[J]
.Wuhan University Journal of Natural Sciences,2005,10(1):333-337.
被引量：1
4
张广泉,黄正宝,戎玫.
网络协议形式化模型的分析与应用[J]
.计算机工程与应用,2005,41(23):121-124.
被引量：1
5
文静华,张梅,李祥.
一种新的密码协议分析方法及其应用[J]
.计算机应用,2006,26(5):1087-1089.
6
肖德琴,冯健昭,杨波,张焕国.
基于无线传感器网络的信誉形式化模型[J]
.计算机科学,2007,34(6):84-87.
被引量：11
7
李新中,周小燕.
基于BAN逻辑分析Otway-Rees协议安全性[J]
.微计算机信息,2007(18):71-72.
被引量：1
8
林松,李舟军.
基于Petri网的双重数字签名的描述与验证[J]
.系统仿真学报,2008,20(9):2498-2501.
被引量：10
9
陈兰.
H.530协议形式化分析与模型检测[J]
.教育教学论坛,2013(17):281-282.
10
薛晨,任大勇.
基于时延Petri网的双重数字签名技术研究[J]
.计算机与数字工程,2013,41(9):1485-1488.
被引量：2
同被引文献
20
1
张立东,刘积仁,李华天.
一种基于形式化描述的测试序列生成改进方法[J]
.软件学报,1995,6(3):142-147.
被引量：5
2
王继增,苗志锋,姜春艳,孙昊.
Estelle中的通道扩展及广播通道[J]
.计算机工程与设计,2006,27(4):578-580.
被引量：1
3
吕超,赵保华,周颢.
基于TCL的IPsec协议一致性测试[J]
.小型微型计算机系统,2006,27(7):1165-1168.
被引量：1
4
李国庆,安建平,杨杰.
基于ESTELLE的网络协议建模方法[J]
.电子学报,2007,35(4):743-746.
被引量：2
5
张辉,蒋凡.
基于C++语言转换的TTCN-3测试系统的设计与实现[J]
.计算机系统应用,2007,16(10):64-67.
被引量：8
6
尹霞,王之梁,景传明,施新刚.
一种基于TTCN-3的协议测试系统及其扩展研究[J]
.中国科学（E辑）,2008,38(10):1594-1613.
被引量：7
7
宋金晶,沈军.
基于CSP的网络协议描述与仿真[J]
.东南大学学报（自然科学版）,2008,38(A01):28-33.
被引量：3
8
章志燮,周颢,胡甜,赵保华.
基于TCL的PIM-SM协议一致性测试系统设计[J]
.中国科学技术大学学报,2009,39(2):169-173.
被引量：1
9
朱雪峰,许建军,邹彪,张哲,孙雷.
网络协议一致性测试研究综述[J]
.计算机科学,2009,36(12):5-7.
被引量：17
10
陈涛,潘雪增,陈健,陈小平,陆魁军.
基于FSM的协议一致性测试序列生成算法研究[J]
.计算机工程与应用,2010,46(6):60-62.
被引量：10
引证文献
1
1
李强,余祥,齐建业,许庆光.
协议一致性测试研究进展[J]
.西南科技大学学报,2013,28(4):85-92.
被引量：8
二级引证文献
8
1
徐楠,董桂官.
混合网络环境下的数字电视协议测试系统研究[J]
.电视技术,2014,38(24):59-62.
2
索晓杰,李亚峰,都云.
协议测试方法在航空总线接口设计中的应用[J]
.工业控制计算机,2015,28(6):88-89.
被引量：2
3
刘芳.
基于通信顺序进程的计算机网络通信协议形式化描述[J]
.信息系统工程,2016,29(2):124-124.
被引量：1
4
曾帅,殷志坚.
OpenFlow交换机协议一致性测试集模型研究[J]
.电信网技术,2016,0(5):67-69.
5
刘层层,杨红丽.
基于FSM模型的无线传感器网络数据收集协议测试[J]
.软件导刊,2017,16(9):14-18.
6
李宇宏.
基于QML的协议测试软件研究[J]
.中国新通信,2020,22(10):47-48.
被引量：1
7
刘琴,王德军,王潇潇,郑绪睿,孟博.
法律合约与智能合约一致性综述[J]
.计算机应用研究,2021,38(1):1-8.
被引量：9
8
田万勇,赵露露,杜利刚,胡军锋.
基于建模与仿真的Link-16协议一致性测试[J]
.现代导航,2021,12(4):284-288.
被引量：1
1
白圣广,龙士工.
基于行为时序逻辑TLA的安全协议形式化分析与检测[J]
.贵州大学学报（自然科学版）,2012,29(2):99-101.
2
谢琳.
Geopriv协议形式化分析与模型检测[J]
.计算机光盘软件与应用,2013,16(17):77-78.
3
万良,李样.
基于TLA的Kerberos协议符号化与检测[J]
.贵州大学学报（自然科学版）,2007,24(6):605-609.
被引量：4
4
吴勇,李祥.
基于行为时序逻辑TLA的时钟系统分析与检测[J]
.电力学报,2011,26(4):310-312.
被引量：1
5
秦宁元,付安民,陈守国.
基于AVISPA的快速切换认证协议FHAM的安全建模与检测[J]
.信息网络安全,2014(5):21-25.
被引量：1
6
刘晴晴,文静华.
基于TLA的业务流程形式化分析[J]
.计算机光盘软件与应用,2013,16(7):296-296.
7
李元,吴勇,李祥.
ARP协议的描述与TLA验证[J]
.计算机技术与发展,2010,20(6):163-166.
被引量：1
8
林春平.
OLSR协议的AVISPA分析研究[J]
.计算机安全,2010(8):30-31.
被引量：3
9
万良,肖源.
一种安全转移系统模型的构造及其运用[J]
.计算机应用研究,2014,31(2):558-562.
10
赵梦龙.
基于行为时序逻辑TLA的算法分析与验证[J]
.计算机光盘软件与应用,2013,16(18):74-75.
信息通信
2012年 第4期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
