期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
关于计算机网络通信协议验证技术的探讨
被引量:
2
下载PDF
职称材料
导出
摘要
协议验证技术是计算机网络通信协议工程技术中的重要组成部分,在保证协议正确性、完整性上发挥着至关重要的作用。基于此,本文从计算机网络通信协议的相关概述出发,就协议验证技术及其在计算机通信网络协议中的应用进行了简要分析,以期加强对协议验证技术的认识与了解,推动计算机网络通信协议的优化发展。
作者
彭宁
机构地区
上海民航职业技术学院
出处
《计算机产品与流通》
2019年第3期44-44,共1页
关键词
计算机
网络通信
通信协议验证技术
分类号
TP393.04 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
2
参考文献
2
共引文献
5
同被引文献
9
引证文献
2
二级引证文献
0
参考文献
2
1
韩翔龙.
试析网络通信中的数据信息安全保障技术[J]
.科技风,2019(1):182-182.
被引量:4
2
邹程炜.
网络通信中的数据信息安全保障技术[J]
.电子技术与软件工程,2018(23):186-186.
被引量:3
二级参考文献
2
1
董海军.
数据加密技术在计算机网络通信安全中的应用研究[J]
.电子测试,2016,27(6):94-95.
被引量:33
2
赵红霞.
网络通信中的数据信息安全保障研究[J]
.信息与电脑,2016,28(13):205-206.
被引量:11
共引文献
5
1
刘洋.
网络通信中的数据信息安全保障技术[J]
.电子技术与软件工程,2019(3):188-188.
被引量:3
2
郭东峰.
数据信息安全研究[J]
.科技创新导报,2020,17(19):133-134.
被引量:1
3
李哲.
网络通信中的数据信息安全保障技术研究[J]
.计算机应用文摘,2023,39(7):103-105.
4
康旭.
浅析网络通信中的数据信息安全保障[J]
.数码世界,2019(1):26-26.
5
应陈家鳚,王丁钊,徐炎.
网络通信中的数据信息安全保障技术[J]
.计算机产品与流通,2019,0(6):41-41.
被引量:4
同被引文献
9
1
陈丽娜,黄宏斌,邓苏.
基于点的FO-POMDP值迭代方法研究[J]
.计算机工程,2013,39(10):217-220.
被引量:1
2
陈钢,于林宇,裘宗燕,王颖.
基于逻辑的形式化验证方法:进展及应用[J]
.北京大学学报(自然科学版),2016,52(2):363-373.
被引量:15
3
杨世瀚,吴尽昭,丁广泓,秦董洪.
模拟与混合信号电路的形式化验证[J]
.计算机工程,2016,42(8):34-38.
被引量:1
4
张家锋,徐扬,曹发生.
格值一阶逻辑中α-语义归结方法的相容性[J]
.辽宁工程技术大学学报(自然科学版),2016,35(11):1335-1340.
被引量:4
5
胡凯,白晓敏,高灵超,董爱强.
智能合约的形式化验证方法[J]
.信息安全研究,2016,2(12):1080-1089.
被引量:63
6
蔡文郁,刘晓玲.
计算机网络启发式NS-3仿真案例教学模式[J]
.实验室研究与探索,2018,37(9):95-100.
被引量:11
7
石俊涛,范玉红,刘尚慧,许艳芳.
计算机网络安全与漏洞防范技术研究[J]
.软件,2020,41(2):273-275.
被引量:2
8
王文韬.
计算机网络通信协议验证技术的有机运用[J]
.通信电源技术,2020,37(3):199-200.
被引量:1
9
李曼媛.
计算机网络安全技术在电子商务中的应用[J]
.现代营销(下),2020(7):98-99.
被引量:3
引证文献
2
1
钟建,徐扬,陈树伟,何星星.
一阶逻辑中基于稳定度的项评估方法[J]
.计算机工程,2019,45(11):183-190.
2
张良.
计算机网络通信协议框架思路构建[J]
.信息记录材料,2020,21(11):199-201.
1
王兴华.
浅析计算机网络通信协议验证技术[J]
.科技传播,2017,9(16):82-83.
2
彭勃.
计算机网络通信协议验证技术的研究[J]
.移动信息,2016,0(7):108-109.
3
左浩.
试析网络安全协议在计算机通信技术当中的作用[J]
.计算机产品与流通,2018,7(12):32-32.
4
魏华.
计算机网络通信安全中数据加密技术的应用分析[J]
.数码世界,2019,0(4):30-30.
5
杨灵敏.
计算机网络通信安全领域数据加密的运用思考[J]
.数码世界,2019,0(4):242-242.
被引量:2
6
程鹏飞.
论计算机互联网与通信网络建设的安全性[J]
.数码世界,2019,0(3):37-37.
7
殷守军.
一种改进的安全RFID群组标签所有权转移协议[J]
.计算机工程,2019,45(2):134-138.
被引量:3
8
魏访,邹志革.
满足后向安全的RFID标签组所有权转移协议[J]
.计算机工程,2019,45(4):136-141.
被引量:1
计算机产品与流通
2019年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部