会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 105. 发明授权
    • Safe to execute verification of software
    • 安全执行软件验证
    • US6128774A
    • 2000-10-03
    • US959730
    • 1997-10-28
    • George C. NeculaPeter Lee
    • George C. NeculaPeter Lee
    • G06F1/00G06F9/445G06F21/00G06F9/44
    • G06F9/44589G06F21/51G06F2221/2149
    • A computer-implemented method of verifying that untrusted software supplied by a code producer is safe to execute by a code consumer. The method includes the step of defining a safety policy that specifies safe operating conditions of the untrusted software on the code consumer. The method also includes the steps of generating a safety predicate for the untrusted software that determines if execution by the code consumer of the untrusted software will violate said safety policy and generating a safety proof that proves that said safety predicate is valid. The method further includes the step of validating the untrusted software for execution based on said safety proof and said safety predicate.
    • 验证由代码生成器提供的不可信软件可以安全地由代码消费者执行的计算机实现的方法。 该方法包括定义安全策略的步骤,该安全策略规定了代码消费者上不可信软件的安全操作条件。 该方法还包括以下步骤:产生用于不可信软件的安全谓词,其确定代码消费者对不可信软件的执行是否违反所述安全策略并产生证明所述安全谓词有效的安全性证明。 该方法还包括基于所述安全证明和所述安全谓词来验证不可信软件以执行的步骤。