- 1
- 2
- 3
- 4
- 5
基于时间自动机的物联网网关安全系统的建模及验证
资料介绍
物联网是一个多网异构融合网络,其感知层常面临各类安全威胁.物联网网关作为感知层和网络层的桥梁,应当具备安全管理功能,防止安全问题向上层扩散.针对物联网网关目前安全方面的不足,以物联网网关中间件技术为平台,设计一个通用的物联网网关安全系统.该系统可以嵌入不同的安全协议或算法,然后进行建模与分析,能够辅助安全网关的设计和具体实现.利用时间自动机对系统进行形式化建模与验证,验证结果表明物联网网关安全系统满足机密性、可用性、真实性、顽健性、完整性和新鲜性6项安全需求.
部分文件列表
文件名 | 大小 |
基于时间自动机的物联网网关安全系统的建模及验证.pdf | 1M |
部分页面预览
(完整内容请下载后查看)最新上传
-
wubaojun1982 打赏1.00元 1天前
资料:ADS1241驱动代码
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic下载 打赏320.00元 3天前
用户:liqiang9090
-
21ic下载 打赏260.00元 3天前
用户:gsy幸运
-
21ic下载 打赏110.00元 3天前
用户:zhengdai
-
21ic下载 打赏130.00元 3天前
用户:WK520077778
-
21ic下载 打赏100.00元 3天前
用户:sun2152
-
21ic下载 打赏70.00元 3天前
用户:xuzhen1
-
21ic下载 打赏40.00元 3天前
用户:w178191520
-
21ic下载 打赏70.00元 3天前
用户:xzxbybd
-
21ic下载 打赏50.00元 3天前
用户:铁蛋锅
-
21ic下载 打赏30.00元 3天前
用户:kk1957135547
-
21ic下载 打赏30.00元 3天前
用户:forgot
-
21ic下载 打赏30.00元 3天前
用户:w993263495
-
21ic下载 打赏30.00元 3天前
用户:年轻的国王
-
21ic下载 打赏30.00元 3天前
用户:happypcb
-
21ic下载 打赏30.00元 3天前
用户:不觉明了
-
21ic下载 打赏20.00元 3天前
用户:xujibicool
-
21ic下载 打赏10.00元 3天前
用户:idlaoming
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏20.00元 3天前
-
21ic小能手 打赏20.00元 3天前
-
注册1 打赏0.01元 3天前
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.05元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
用户:xlhtracy
-
注册1 打赏0.01元 3天前
全部评论(0)