面向车联网车辆的轻量级持续身份认证协议

基于云-边缘计算的车联网(Cloud-Edge computing for the Internet of Vehicle,CEIoV)能够支持大规模车辆的实时访问与服务请求,为了保证其内部资源的安全性,需要对车辆进行身份认证而后才能接入CEIoV;但是车辆本身处于运行状态且计算、存储和通信资源受限,给CEIoV车辆的身份认证带来挑战.本文基于具有简单密码操作的变色龙哈希函数,提出了一个连续轻量级身份认证协议(Lightweight Continuous identity Authentication,LCA),实现了对于资源受限车辆的认证和CEIoV内部资源的安全保障.本文在随机预言机模型下证明了LCA协议的语义安全性;并通过实验验证LCA协议在连续认证过程中具有较低的计算和通信成本.

基于形式化方法的航天器软件系统测试技术

随着航天技术的飞速发展,航天器软件系统复杂度正在逐渐上升,导致航天器系统面临的软件系统安全性、可靠性问题越来越突出,将直接影响到航天器软件系统安全性能。如何有效验证测试航天器软件系统的安全性、可靠性已经成为航天器测试技术领域中需要深入研究的重点问题。本文针对航天器软件系统安全需求,归纳列举各类基于严格数学思想的形式化测试验证技术和相关模型,此类技术能够用于复杂软件系统的测试验证工作,有效发现系统中存在各类安全问题和系统缺陷,提升软件系统产品的安全性和可靠性。

基于VSAT卫星通信的跨境数据传输系统设计

针对中国驻外企业的境外通信保障需求,将VSAT卫星通信技术应用于跨境数据传输系统,可支持传真、语音、视频及数据传输等业务功能。系统采用星状网网络架构,选用中星12号卫星Ku频段,充分考虑技术成熟度和携行性等指标,对系统站型配置进行了卫星链路分析计算,确保中国驻外企业的跨境通信畅通。