公开(公告)号：US6128774A

公开(公告)日：2000-10-03

申请号：US959730

申请日：1997-10-28

申请人： George C. Necula ,  Peter Lee

发明人： George C. Necula ,  Peter Lee

IPC分类号： G06F1/00 ,  G06F9/445 ,  G06F21/00 ,  G06F9/44

CPC分类号： G06F9/44589 ,  G06F21/51 ,  G06F2221/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.

摘要翻译： 验证由代码生成器提供的不可信软件可以安全地由代码消费者执行的计算机实现的方法。 该方法包括定义安全策略的步骤，该安全策略规定了代码消费者上不可信软件的安全操作条件。 该方法还包括以下步骤：产生用于不可信软件的安全谓词，其确定代码消费者对不可信软件的执行是否违反所述安全策略并产生证明所述安全谓词有效的安全性证明。 该方法还包括基于所述安全证明和所述安全谓词来验证不可信软件以执行的步骤。

公开(公告)号：US09100288B1

公开(公告)日：2015-08-04

申请号：US12780787

申请日：2010-05-14

申请人： Aditya R. Ganjam ,  Ningning Hu ,  George C. Necula

发明人： Aditya R. Ganjam ,  Ningning Hu ,  George C. Necula

IPC分类号： G06F15/173 ,  H04L12/26

CPC分类号： H04L67/32 ,  G06F11/0709 ,  G06F11/0751 ,  G06F11/3006 ,  G06F11/3055 ,  G06F11/3082 ,  G06F11/32 ,  H04L12/2812 ,  H04L43/06 ,  H04L43/062 ,  H04L43/065 ,  H04L43/067 ,  H04L65/60 ,  H04L65/601 ,  H04L67/22 ,  H04L67/322 ,  H04N21/2402 ,  H04N21/2547 ,  H04N21/2662 ,  H04N21/44204 ,  H04N21/44209 ,  H04N21/4424 ,  H04N21/6582

摘要： Improving a content player is disclosed. A monitoring module is configured to obtain status information associated with a content player. The monitoring module is loaded. Status information associated with the content player is obtained. A report of at least a portion of the obtained status information is made to a monitoring service.

摘要翻译： 公开了改进内容播放器。 监视模块被配置为获得与内容播放器相关联的状态信息。 监控模块被加载。 获得与内容播放器相关联的状态信息。 将所获得的状态信息的至少一部分的报告发送给监视服务。

公开(公告)号：US08874725B1

公开(公告)日：2014-10-28

申请号：US12780784

申请日：2010-05-14

申请人： Aditya R. Ganjam ,  Ryan J. Huebsch ,  Karthik K. Lakshminarayanan ,  George C. Necula ,  Ion Stoica ,  Hui Zhang ,  Jibin Zhan

发明人： Aditya R. Ganjam ,  Ryan J. Huebsch ,  Karthik K. Lakshminarayanan ,  George C. Necula ,  Ion Stoica ,  Hui Zhang ,  Jibin Zhan

IPC分类号： G06F15/173

CPC分类号： H04L43/16 ,  H04L12/4625 ,  H04L43/065 ,  H04L43/08 ,  H04L43/0817 ,  H04L43/10 ,  H04N21/00

摘要： Monitoring performance data associated with a content player is disclosed. Information relating to the state of a content player is obtained on a time driven basis. At least a portion of the obtained information is reported, via a communications interface, to a content distribution monitoring server.

摘要翻译： 公开了监视与内容播放器相关联的演奏数据。 在时间驱动的基础上获得与内容播放器的状态有关的信息。 所获得的信息的至少一部分经由通信接口被报告给内容分发监视服务器。

公开(公告)号：US09819566B1

公开(公告)日：2017-11-14

申请号：US13461346

申请日：2012-05-01

申请人： Aditya R. Ganjam ,  Ningning Hu ,  Asad K. Awan ,  George C. Necula ,  Ion Stoica

发明人： Aditya R. Ganjam ,  Ningning Hu ,  Asad K. Awan ,  George C. Necula ,  Ion Stoica

IPC分类号： G06F15/173 ,  H04L12/26

CPC分类号： H04L43/16 ,  H04L12/4625 ,  H04L43/065 ,  H04L43/08 ,  H04L43/0817 ,  H04L43/10 ,  H04N21/00

摘要： Controlling dynamic reporting of content distribution performance information from a client is disclosed. The content distribution performance information associated with the delivery of content is generated. The content distribution performance information is reported to a content distribution monitor at a first reporting level. In response to a triggering event, the first reporting level is changed to a second reporting level. Additional content distribution performance information is reported according to the second reporting level.