潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

零信任环境下车联网信息安全传输的形式化建模与分析方法/黄大荣 ... [等] 著

出版发行项:

北京:科学出版社,2025

ISBN及定价:

978-7-03-081617-7/CNY130.00

载体形态项:

211页:图;24cm

丛编项:

零信任：群体智能可信决策与安全控制丛书

个人责任者:

黄大荣 著

个人责任者:

刘洋 著

个人责任者:

那雨虹 著

学科主题:

汽车-物联网-网络安全-数据传输-研究

中图法分类号:

U469-39

题名责任附注:

题名页题其余责任者：刘洋、那雨虹、米波、张振源、李中美、范英齐、黄莉媛

书目附注:

有书目

提要文摘附注:

本书主要以运行在复杂动态环境中的车联网系统为研究背景，在近些年相关研究工作的基础之上，结合形式化建模中的Petri网模型工具和抽象描述语言Z语言，提出了适合车联网系统的相关形式化建模方法。着重解决车联网系统建模过程中实时性传输、随机性事件时有发生不易刻画的关键问题，包括需求模型正确性、完整性、安全性的分析与验证，实时动态性传输特点的处理以及运行环境的复杂多变性等。

豆瓣简介：