基于安全灰箱演算的物联网移动性建模验证
100 积分
50
评分
4.3 积分- 详情
- 2021-09-20
- 简介
pdf
- 171KB
- 页数 6P
- 阅读 71
- 下载 32
物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分,必须在物联网模型中进行描述。移动性作为一种物理属性,能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究,提出了一种基于安全灰箱演算的物联网模型,并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析,适用于具有移动特征的物联网应用。以欧洲火车控制系统(ETCS)为例,验证了本文建模和验证方法的可行性。
对不起，您暂无在线预览权限，如需浏览请
立即登录热门商品
相关推荐
基于安全灰箱演算的物联网移动性建模验证 171KB
物联网安全浅析 107KB
物联网无线传感网络安全协议建模研究 360KB
基于物联网的建筑安全监测管理系统研究 1.6MB
基于智能物联网的家庭安全监测系统开发 2.1MB
基于物联网的消防安全远程监测系统探讨 75KB
浅析物联网的安全问题 4.3MB
基于NVR的高校实验室物联网安全监控策略研究 184KB
物联网论文 144KB
基于物联网技术解决工程安全问题分析 69KB