Document
拖动滑块完成拼图
首页 专利交易 科技果 科技人才 科技服务 国际服务 商标交易 会员权益 IP管家助手 需求市场 关于龙图腾
 /  免费注册
到顶部 到底部
清空 搜索

用于可信边缘IoT安全网关的形式建模的系统和方法 

买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!

申请/专利权人:卡内基梅隆大学

摘要:本文公开了一种用于基于微管理程序来定义可信IoT安全网关架构的模型的方法,其中对该模型的评估提供了始终包括当受到攻击时向每个IoT设备的网络流量应用正确的安全保护的保证。根据本文公开的方法定义的模型用于核实安全网关架构,这些安全网关架构利用现有软件以合理的性能开销向广泛范围的传统硬件平台提供健壮的信任特性。

主权项:1.一种用于创建为IoT设备提供可信网关的模型的方法,包括:以建模语言定义控制器,所述控制器定义所述IoT设备的控制平面,所述控制器执行由控制器微管理程序保护或证明的软件;以及以建模语言定义安全网关,所述安全网关定义由安全网关微管理程序证明的数据平面。

全文数据:

权利要求:

百度查询: 卡内基梅隆大学 用于可信边缘IoT安全网关的形式建模的系统和方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。