通过特定建模将安全机制集成到嵌入式系统中

来源 :科技展望 | 被引量 : 0次 | 上传用户:wenxiaoyan0411
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
嵌入式设备是物联网的关键推动因素,在日常生活中的运用越来越普遍.他们存储、操纵与传输敏感信息,因此必须保护免受安全威胁.因为安全性和资源约束问题,设计安全网络嵌入式系统是一项艰巨的任务.我们利用MBD和特定于域的建模来描述与安全和嵌入式系统相关的常见问题,这是特定于一个给定的应用程序域.与特定应用程序域相关的特定于安全的知识以适应信息安全本体的形式表示.此外,本体的元素相关联具有使用MBD方法SPACE建模的安全构建块.开发了一种支持步骤的工具支持这种方法,并帮助桥梁安全和嵌入式系统领域.
其他文献
介绍了几种井下采矿过程中巷道突水的特殊形式 ,并提出了防治方法。以期服务于生产 Some special forms of water inrush in tunnel during mining are introduced, and the
1995年7月底在文莱首都斯里巴加湾举行的第28届东盟外长年会上,越南正式被接纳成为东盟第7个成员国。这是东盟成立28年来发生的最引人注目的变化,它标志着越南与其他东盟成员国
以一种新设计的基本电子开关电路为基础设计了几种实用的触摸式电源开关电路,并应用于矿用型仪表中,取得了较好的效果.
本文介绍了玻璃基板缓冲包装的技术背景,并以DWPI专利数据库以及CNABS数据库中的检索结果为分析样本,从专利文献的视角对玻璃基板缓冲包装技术的发展路线进行了分析.
华东区林业科技信息委员会第二届第六次常委扩大会暨现代林业建设学术研讨会于2003年9月23~26日在安徽省潜山县召开。来自福建、江西、江苏、浙江、安徽、南京林业大学和浙江
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
自动门禁栏杆系统主要由单片机、红外传感器和舵机组成.本文以单片机为核心,控制舵机运转,达到感应外界物体经过而使栏杆抬、落的功能.系统功能操作方便、反应灵敏,可以应用
如何使岗前安全教育收到实效,是企业三级安全教育中共同面临的一个问题,我所处的员工流动分散、施工环境千变万化的地质勘探单位,就更是如此。我们通过7年来的实践深深感到,安技
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
新开一家水处理厂用于改良原有水供应系统并去除不想要的矿物成份。普通的盘装装置用作控制系统,安装在一个弧形钢控制台上。新厂利用同一地下水源。所用设计相似,但采用了数字