• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Journal of ambient intelligence and humanized computing >Automated design, verification and testing of secure systems with embedded devices based on elicitation of expert knowledge
【24h】

Automated design, verification and testing of secure systems with embedded devices based on elicitation of expert knowledge

机译：基于专家知识的自动化设计，验证和测试具有嵌入式设备的安全系统

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The rising significance and widening of embedded systems stipulate the importance of the security means against a great deal of computer security threats. Such systems involving a diversity of an-hoc embedded and mobile electronic devices functioning with the use of a broadband Internet access and even cloud technologies, are referenced conventionally as Internet of Things systems (IoT). Due to specificity of IoT systems the application of the combined security mechanisms requires their efficient energy and computing resource consumption, identification of potential conflicts and incompatibilities, control of information flows, monitoring anomalies of data in the system and other issues. At that an increased design complexity of IoT systems is determined by a low structuring and formalization of security knowledge in the field. We proposed an approach to identification of embedded security expert knowledge for its subsequent use in automated design, verification and testing tools for secure IoT systems. The paper encompasses the core elements of the proposed technique, namely security component configuring, revelation of implicit conflicts, verification of network information flows and abnormal data from sensors. The domain specific analysis of the field of embedded security is described. We also present the revealed expert knowledge used for configuration, verification and testing of embedded devices. Issues of software implementation and discussion are covered.
机译：嵌入式系统重要性的不断提高和扩展表明，安全措施对于抵御大量计算机安全威胁的重要性。此类系统涉及使用宽带互联网访问甚至云技术来运行的各种嵌入式和移动电子设备，通常被称为物联网系统（IoT）。由于物联网系统的特殊性，组合安全机制的应用需要有效的能源和计算资源消耗，潜在冲突和不兼容性的识别，信息流的控制，系统中数据异常的监视以及其他问题。那时，物联网系统设计复杂性的提高是由现场安全知识的低结构化和形式化决定的。我们提出了一种识别嵌入式安全专家知识的方法，供其随后用于安全物联网系统的自动化设计，验证和测试工具中。本文涵盖了所提出技术的核心要素，即安全组件配置，隐式冲突的揭示，网络信息流的验证以及来自传感器的异常数据。描述了嵌入式安全领域的领域特定分析。我们还将介绍用于配置，验证和测试嵌入式设备的专业知识。涵盖了软件实施和讨论的问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号