会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • A SYSTEM AND METHOD FOR ESTABLISHING TRUSTWORTHINESS OF AN APPLICATION
    • 一种建立应用信任的系统和方法
    • WO2014088395A1
    • 2014-06-12
    • PCT/MY2013/000215
    • 2013-11-29
    • MIMOS BERHAD
    • MOHD, Faizal MubarakMUHAMAD, Hazwan HalimNORAZAH, Abd AzizZAID, Ahmad
    • G06F21/51G06F21/56
    • G06F21/51G06F21/562
    • A system (10) for establishing trustworthiness of an application is provided. The system comprises: a trusted host platform (12); an interceptor module (14) associated with said trusted host platform (12); a secure container (16) in communication with said interceptor module(14), said secure container (16) being embedded with a formal proof code module(18); and an integrity detection system (20) in communication with said interceptor module (14); characterised in that said interceptor module (14) is provided with means for intercepting said application to hold the executable process of the application and communicate executable code of said application to said secure container (16), and in that said formal proof code module (18) is provided with means for checking and verifying said executable code to determine trustworthiness of said application.
    • 提供了一种用于建立应用程序的可信赖性的系统(10)。 该系统包括:可信主机平台(12); 与所述可信主机平台(12)相关联的拦截器模块(14); 与所述拦截器模块(14)连通的安全容器(16),所述安全容器(16)嵌入有形式证明代码模块(18); 以及与所述拦截器模块(14)通信的完整性检测系统(20); 其特征在于,所述拦截器模块(14)设置有用于拦截所述应用以保持所述应用的可执行过程并将所述应用的可执行代码传送到所述安全容器(16)的装置,并且所述形式证明代码模块(18) )被提供有用于检查和验证所述可执行代码以确定所述应用程序的可信赖性的装置。