安徽大学黄大荣教授团队:零信赖环境下车联网信息安全传输的形式化建模与剖析办法

来源:米兰体育手机版   更新时间:2025-07-02 17:29:59点击次数:589次
凭借计算机科学技能、通讯技能、无线传感技能等手法,并装备先进的操控办理体系、传感器设备,交融了数

  凭借计算机科学技能、通讯技能、无线传感技能等手法,并装备先进的操控办理体系、传感器设备,交融了数据收集、数据剖析、自动操控和智能决议计划的才能,推进了无人驾驭才能逐步晋级,为安全、高效的驾驭供给了基本保障。

  车辆及其周边设备之间信息高效、牢靠地传输是车联网研讨的重要问题,针对车联网的研讨能有用提高交通安全和交通办理才能。但车联网中网络节点数量巨大、运转环境移动杂乱,以及节点形式的强异构性等问题,对网络中海量数据传输和处理的实时性提出了更高要求。

  可是,在开放式交通场景下,车辆行进环境杂乱多变,存在海量传感器设备节点以及车辆节点随机接入等要素,车联网信息安全传输进程中“永不信赖、继续验证”的“

  尽管国内外学者和研讨人员对智能车联网的数据传输、途径规矩办法的研讨取得了一些发展,可是从零信赖环境下车联网的体系需求到实践行车进程中的实时性、离散性问题及数据的完整性和正确性传输机制,

  本书以零信赖环境下车联网体系的信息安全传输机制为研讨布景,根据零信赖架构,结合动态建模言语

  言语的特色,融入多值逻辑思维,提出车联网体系建模进程中所面对的主体问题和相应的形式化建模

  车联网体系需求模型的剖析与验证、实时动态性传输特色、运转环境的杂乱多变性,进行了翔实的论述和剖析。在车联网体系模块规划的需求阶段,考虑体系的多接口、强耦合性等特征,选用

  进行分层式建模和剖析验证,能够轻松又有用确保体系的完整性和正确性;在体系运用的进程中,出于对高时效性、牢靠性的需求,选用

  进行描绘描写,强化体系的实时性;针对行车环境中不同设备数据信息传输需求的优先级进行设定,有用地处理高需求事情。此外,关于环境中常见的行车毛病等离散事情,根据离散

  本书的编撰得到了中南大学桂卫华教授、东南大学/山东科技大学周东华教授、青岛大学侯忠生教授、安徽大学孙长银教授、西南交通大学马磊教授等专家的鼎力支撑和关怀。本书的完结也与课题组米波教授、刘洋副教授、张振源副教授、那雨虹博士后等教师以及整体硕博士研讨生的辛苦工作密不可分。特别感谢华东理工大学李中美副教授在本书最终审定阶段给予的鼎力支撑。

  还得到工业操控技能全国要点实验室、自主无人体系技能教育部工程研讨中心、安徽省人工智能教材建造要点研讨基地、安全人工智能安徽省要点实验室、安徽省无人体系与智能技能工程研讨中心、安徽大学人工智能学院,重庆交通大学信息科学与工程学院等组织和部分的各位领导和同仁的全力支撑;以及中国汽车工程研讨院股份有限公司、重庆微标科技股份有限公司、民航成都物流技能有限公司等企业和事业单位对本书部分内容给予的职业使用支撑。在此,向一切对本书给予帮助的组织和部分表明诚挚的谢意

  “零信赖:集体智能可信决议计划与安全操控作品丛书”旨在传达和推行零信赖环境下集体智能可信决议计划与安全操控前沿技能要点范畴的优异研讨成果,包含智能网联车辆数据加密、信息安全传输与形式化验证技能,城市交通大数据信赖度评价、牢靠决议计划与安全管控办法,杂乱物理-网络进犯场景下(如物理射频搅扰、网络虚伪数据注入、链路堵塞等)的零信赖智能网联车群数据可信感知、协同决议计划理论与办法,考虑信赖缺失、数据过错等典型杂乱工况条件下的智能网联车群的容错操控和数据容错办法规划与实践实例,等等。一起,零信赖架构下船只、无人机等其它集体智能操控,也具有广泛含义。。

友情链接: 百度
Copyright 2020 米兰体育手机版. All Rights Reserved 苏ICP备19056139号-1