-
1.发明授权System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision 有权用于采用需求驱动精度的模块化，字符串敏感的访问权限分析的系统，方法和设备公开(公告)号：US08572674B2
公开(公告)日：2013-10-29
申请号：US12190718
申请日：2008-08-13
IPC分类号： H04L29/06
CPC分类号： G06F21/57 , G06F21/53 , G06F21/6218
摘要： A static analysis for identification of permission-requirements on stack-inspection authorization systems is provided. The analysis employs functional modularity for improved scalability. To enhance precision, the analysis utilizes program slicing to detect the origin of each parameter passed to a security-sensitive function. Furthermore, since strings are essential when defining permissions, the analysis integrates a sophisticated string analysis that models string computations.
摘要翻译： 提供了一个用于识别堆栈检查授权系统的许可要求的静态分析。 该分析采用功能模块化，以提高可扩展性。 为了提高精度，分析使用程序分片来检测传递给安全敏感功能的每个参数的原点。 此外，由于字符串在定义权限时至关重要，因此分析集成了一个用于模拟字符串计算的复杂字符串分析。
-
2.发明授权Scaleable ontology reasoning to explain inferences made by a tableau reasoner 有权可扩展的本体论推理来解释由推理者所作的推论公开(公告)号：US07904401B2
公开(公告)日：2011-03-08
申请号：US11708949
申请日：2007-02-21
申请人： Julian Timothy Dolby , Aditya A Kalyanpur , Aaron Stephen Jay Kershenbaum , Achille Belly Fokoue-Nkoutche , Li Ma , Edith Gail Schonberg , Kavitha Srinivas
发明人： Julian Timothy Dolby , Aditya A Kalyanpur , Aaron Stephen Jay Kershenbaum , Achille Belly Fokoue-Nkoutche , Li Ma , Edith Gail Schonberg , Kavitha Srinivas
IPC分类号： G06N5/00
摘要： Methods and apparatus, including computer program products, for scalable ontology reasoning. A method of generating a summarized ontology includes loading an ontology from a store, eliminating relationships in the ontology, the eliminating relationships including an insertion of new relationships that simplify the ontology, eliminating individuals in the ontology, the eliminating individuals including insertion of new individuals to simplify the ontology, eliminating concepts in the ontology including insertion of new concepts to simplify the ontology, and generating the summarized ontology from the eliminating relationships, eliminating individuals and eliminating concepts.
摘要翻译： 方法和设备，包括计算机程序产品，用于可扩展本体推理。 生成总结本体的方法包括从商店加载本体，消除本体中的关系，消除关系，包括插入简化本体的新关系，消除本体中的个体，消除个体，包括插入新个体 简化本体，消除本体中的概念，包括插入新概念以简化本体，并从消除关系，消除个人和消除概念生成摘要本体。
-
3.发明申请System, Method, and Apparatus for Modular, String-Sensitive, Access Rights Analysis with Demand-Driven Precision 有权用于采用需求驱动精度的模块化，字符串敏感的访问权限分析的系统，方法和装置公开(公告)号：US20100043048A1
公开(公告)日：2010-02-18
申请号：US12190718
申请日：2008-08-13
IPC分类号： G06F21/00
CPC分类号： G06F21/57 , G06F21/53 , G06F21/6218
摘要： A static analysis for identification of permission-requirements on stack-inspection authorization systems is provided. The analysis employs functional modularity for improved scalability. To enhance precision, the analysis utilizes program slicing to detect the origin of each parameter passed to a security-sensitive function. Furthermore, since strings are essential when defining permissions, the analysis integrates a sophisticated string analysis that models string computations.
摘要翻译： 提供了一个用于识别堆栈检查授权系统的许可要求的静态分析。 该分析采用功能模块化，以提高可扩展性。 为了提高精度，分析使用程序分片来检测传递给安全敏感功能的每个参数的原点。 此外，由于字符串在定义权限时至关重要，因此分析集成了一个用于模拟字符串计算的复杂字符串分析。
-
-
搜索结果
3 条记录 (耗时 0.012 秒)
