-
题名车联网络协议的模糊测试研究综述
被引量：1
- 1
-
-
作者
张翼
郭燕
周继祥
龚汉文
唐顺成
薛吟兴
-
机构
中国科学技术大学软件学院
中国科学技术大学计算机科学与技术学院
中国科学技术大学苏州高等研究院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2023年第6期1204-1213,共10页
-
基金
安徽省科技重大专项项目(202103a05020009)资助
国家自然科学基金面上项目(61972373)资助.
-
文摘
随着网络通信技术和汽车产业的快速发展,车联网内数据交互日益频繁,同时,车联网的安全问题也日益严重.本文首先介绍了针对车联网的多个攻击案例,并引入模糊测试这一解决方案.其次,介绍智能车联网架构,从车载有线网络协议和车载无线通信技术进行分析.之后,介绍模糊测试在车联网中的流程与分类,从测试用例的生成、异常检测手段和测试评估指标三方面分析车联网模糊测试的发展现状.最后展望了车联网模糊测试的未来发展方向.
-
关键词
车联网
模糊测试
网络协议安全
-
Keywords
internet of vehicles
fuzz test
internet protocol security
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一种比特币支付协议的形式化建模验证方法
被引量：1
- 2
-
-
作者
王炯涵
黄文超
汪万森
熊焰
-
机构
中国科学技术大学计算机科学与技术学院
-
出处
《信息安全研究》
CSCD
北大核心
2024年第4期311-317,共7页
-
基金
国家重点研发计划项目(2021QY2104)
中央高校基本科研业务费专项资金项目(WK2150110024)
+1 种基金
国家自然科学基金项目(61972369,62102385,62372422)
安徽省自然科学基金项目(2108085QF262)。
-
文摘
作为主流的数字加密货币,比特币的安全性受到广泛关注,并且围绕其展开大量的研究工作.然而目前针对比特币支付过程的分析还比较欠缺,缺乏相关的安全标准和精细的建模分析,难以确保相关协议的安全.针对这一问题,基于比特币社区规范与比特币的数字货币功能属性,为比特币支付协议建立了形式化的符号模型与对应的安全属性,并使用自动验证工具Tamarin对相关模型及属性进行了形式化验证,完成了对比特币支付协议的验证工作,并且发现一种未被讨论过的比特币支付协议中的安全威胁,对该问题可能产生的影响进行了分析。
-
关键词
比特币
形式化验证
网络协议安全
支付过程
符号模型
-
Keywords
bitcoin
formal verification
network protocol security
payment process
symbolic model
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名网上交易中的电文固化系统设计
- 3
-
-
作者
欧若风
陈睿
凌力
-
机构
复旦大学信息学院通信科学与工程系
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第1期36-39,43,共5页
-
文摘
为应对网上交易等电子商务等存在安全问题,确保交易安全,并面对可靠的固化和保留交易所产生的电文作为交易证据进行保全和固化的需求,设计了一种电文固化系统,包含其网络拓扑架构,及所依赖的安全网络传输协议。整个系统采用电文固化中心和在交易平台方所设的电文固化本地代理的分布式结构。交易平台方在遇到电文固化需求时,通过本地代理与电文固化中心服务器通过Internet进行安全通信。最后以实例验证了该系统的可行性。
-
关键词
网上交易
电文固化
分布式系统结构
安全网络协议
电文调取查用
-
Keywords
online trading
data preserving
distributed system architecture
secure transport protocol
data fetching
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
