专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20050015752A1 Static analysis based error reduction for software applications 审中-公开
标题翻译：基于静态分析的软件应用程序的减少误差
公开(公告)号：US20050015752A1
公开(公告)日：2005-01-20
申请号：US10620078
申请日：2003-07-15
申请人： Bowen Alpern , Robert Johnson , Aaron Kershenbaum , Lawrence Koved , George Leeman , Marco Pistoia , Darrell Reimer , Kavitha Srinivas , Harini Srinivasan
发明人： Bowen Alpern , Robert Johnson , Aaron Kershenbaum , Lawrence Koved , George Leeman , Marco Pistoia , Darrell Reimer , Kavitha Srinivas , Harini Srinivasan
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/3604
摘要： A system and method for providing “static analysis” of programs to aid in improving runtime performance, stability, security and privacy characteristics of deployed application code. The method includes performing a set of analyses that sifts through the program code and identifies programming security and/or privacy model coding errors. In particular the invention focuses on identifying coding errors that cause loss of correctness, performance degradation, security, privacy and maintainability vulnerabilities. A deep analysis of the program is performed using detailed control and data flow analyses. These deeper analyses provide a much better perspective of the overall application behavior. This deep analysis is in contrast to shallow analyses in current industry tools, which inspect or model a single or a few classes at a time.
摘要翻译：提供程序的“静态分析”的系统和方法，以帮助提高部署应用程序代码的运行时性能，稳定性，安全性和隐私特性。该方法包括执行通过程序代码筛选的一组分析，并识别编程安全性和/或隐私模型编码错误。特别地，本发明着重于识别导致正确性，性能下降，安全性，隐私和可维护性漏洞损失的编码错误。使用详细的控制和数据流分析对程序进行深入分析。这些更深入的分析为整体应用行为提供了更好的视角。这个深刻的分析与当前行业工具中的浅析分析形成对比，该工具一次检查或建立一个或几个类。

2. 发明授权

US07076804B2 Automated program resource identification and association 失效
公开(公告)号：US07076804B2
公开(公告)日：2006-07-11
申请号：US09854031
申请日：2001-05-11
申请人： Aaron Kershenbaum , Lawrence Koved , Marco Pistoia
发明人： Aaron Kershenbaum , Lawrence Koved , Marco Pistoia
IPC分类号： G06F17/30
CPC分类号： G06F9/468 , G06F21/53
摘要： This invention provides methods and apparatus for determining a set of authorization usage for collection of code. By using a program graph, the present invention identifies the code within in bounded paths in the program graph that use authorization. The level of precision is able to identify authorization usage to the level of basic blocks, methods, classes or other collections of code. By using the analysis technique described in this invention, we can determine the authorizations needed by collections code, including Java applets, servlets, and Enterprise JavaBeans. By using the present invention, it is possible, prior to loading the mobile code, to prompt the administrator or end-user to authorize or deny the code access to restricted the resources, or determine whether authorization testing will be required.

3. 发明申请

US20070169124A1 Method, system and program product for detecting and managing unwanted synchronization 审中-公开
标题翻译：用于检测和管理不需要的同步的方法，系统和程序产品
公开(公告)号：US20070169124A1
公开(公告)日：2007-07-19
申请号：US11272198
申请日：2005-11-10
申请人： Aaron Kershenbaum , Lawrence Koved , George Leeman , Darrell Reimer
发明人： Aaron Kershenbaum , Lawrence Koved , George Leeman , Darrell Reimer
IPC分类号： G06F9/46 , G06F9/45
CPC分类号： G06F8/445
摘要： A method, system and program product for minimizing unwanted synchronizations in a multithreading program. Program functions in a multithreading program that should not be synchronized are identified as input tails, e.g., manually identified. An invocation graph is constructed for the multithreading program with nodes identified as head nodes and tail nodes that correspond to the input tails. Synchronization information is collected for each node of the invocation graph. Sources of synchronization in the invocation graph are represented as source nodes. All paths from head nodes to tail nodes through at least one source node are identified.
摘要翻译：一种用于最小化多线程程序中不希望的同步的方法，系统和程序产品。不应同步的多线程程序中的程序功能被标识为输入尾，例如手动识别。为多线程程序构建一个调用图，其中标识为头节点的节点和对应于输入尾的尾节点。为调用图的每个节点收集同步信息。调用图中的同步源表示为源节点。识别通过至少一个源节点从头节点到尾节点的所有路径。

4. 发明申请

US20080065578A1 METHOD AND APPARATUS FOR SAFE ONTOLOGY REASONING 有权
标题翻译：方法和装置安全的本体论理由
公开(公告)号：US20080065578A1
公开(公告)日：2008-03-13
申请号：US11931601
申请日：2007-10-31
申请人： Achille Fokoue-Nkoutche , Genady Grabarnik , Nagui Halim , Aaron Kershenbaum , Edith Schonberg , Larisa Shwartz , Kavitha Srinivas
发明人： Achille Fokoue-Nkoutche , Genady Grabarnik , Nagui Halim , Aaron Kershenbaum , Edith Schonberg , Larisa Shwartz , Kavitha Srinivas
IPC分类号： G06N5/02
CPC分类号： G06N5/04
摘要： The present invention is a method and apparatus for safe ontology reasoning. In one embodiment, a method for building safe sub-ontology that includes one or more elements of a given ontology includes designating at least one the elements as a sensitive element, where a sensitive element is an element not to be revealed. The method then designates a safe sub-ontology such that the safe sub-ontology does not include any elements that, alone or in combination, allow inference of a sensitive element, in accordance with one or more given inference rules. In another embodiment, a method for building a potential sub-ontology includes designating at least one of the elements as a sensitive element and including a maximal number of the elements in the potential sub-ontology, wherein the maximal number includes the greatest number of elements that can be revealed, cumulatively, without allowing inference of a sensitive element, in accordance with one or more given inference rules.
摘要翻译：本发明是一种安全本体推理的方法和装置。在一个实施例中，一种用于构建包括给定本体的一个或多个元素的安全子本体的方法包括将至少一个元素指定为敏感元件，其中敏感元件是不被揭示的元件。该方法然后指定安全子本体，使得安全子本体不包括根据一个或多个给定推理规则单独或组合地允许敏感元素的推断的任何元素。在另一实施例中，构建潜在子本体的方法包括将至少一个元素指定为敏感元件并且包括潜在子本体中的元素的最大数量，其中最大数量包括最大数量的元素可以根据一个或多个给定的推论规则累积地揭示，而不允许推断敏感元件。

5. 发明申请

US20070198448A1 Scalable ontology reasoning 审中-公开
公开(公告)号：US20070198448A1
公开(公告)日：2007-08-23
申请号：US11358367
申请日：2006-02-21
申请人： Achille Fokoue-Nkoutche , Aaron Kershenbaum , Kavitha Srinivas
发明人： Achille Fokoue-Nkoutche , Aaron Kershenbaum , Kavitha Srinivas
IPC分类号： G06N5/00
CPC分类号： G06N5/02
摘要： 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.

6. 发明授权

US07860816B2 Method and apparatus for safe ontology reasoning 有权
标题翻译：用于安全本体推理的方法和装置
公开(公告)号：US07860816B2
公开(公告)日：2010-12-28
申请号：US11931601
申请日：2007-10-31
申请人： Achille Fokoue-Nkoutche , Genady Grabarnik , Nagui Halim , Aaron Kershenbaum , Edith Schonberg , Larisa Shwartz , Kavitha Srinivas
发明人： Achille Fokoue-Nkoutche , Genady Grabarnik , Nagui Halim , Aaron Kershenbaum , Edith Schonberg , Larisa Shwartz , Kavitha Srinivas
IPC分类号： G06N5/00
CPC分类号： G06N5/04
摘要： The present invention is a method and apparatus for safe ontology reasoning. In one embodiment, a method for building safe sub-ontology that includes one or more elements of a given ontology includes designating at least one the elements as a sensitive element, where a sensitive element is an element not to be revealed. The method then designates a safe sub-ontology such that the safe sub-ontology does not include any elements that, alone or in combination, allow inference of a sensitive element, in accordance with one or more given inference rules. In another embodiment, a method for building a potential sub-ontology includes designating at least one of the elements as a sensitive element and including a maximal number of the elements in the potential sub-ontology, wherein the maximal number includes the greatest number of elements that can be revealed, cumulatively, without allowing inference of a sensitive element, in accordance with one or more given inference rules.
摘要翻译：本发明是一种安全本体推理的方法和装置。在一个实施例中，一种用于构建包括给定本体的一个或多个元素的安全子本体的方法包括将至少一个元素指定为敏感元件，其中敏感元件是不被揭示的元件。该方法然后指定安全子本体，使得安全子本体不包括根据一个或多个给定推理规则单独或组合地允许敏感元素的推断的任何元素。在另一实施例中，构建潜在子本体的方法包括将至少一个元素指定为敏感元件并且包括潜在子本体中的元素的最大数量，其中最大数量包括最大数量的元素可以根据一个或多个给定的推论规则累积地揭示，而不允许推断敏感元件。

7. 发明申请

US20070198449A1 Method and apparatus for safe ontology reasoning 审中-公开
标题翻译：用于安全本体推理的方法和装置
公开(公告)号：US20070198449A1
公开(公告)日：2007-08-23
申请号：US11361293
申请日：2006-02-23
申请人： Achille Fokoue-Nkoutche , Genady Grabarnik , Nagui Halim , Aaron Kershenbaum , Edith Schonberg , Larisa Shwartz , Kavitha Srinivas
发明人： Achille Fokoue-Nkoutche , Genady Grabarnik , Nagui Halim , Aaron Kershenbaum , Edith Schonberg , Larisa Shwartz , Kavitha Srinivas
IPC分类号： G06N5/02
CPC分类号： G06N5/04
摘要： The present invention is a method and apparatus for safe ontology reasoning. In one embodiment, a method for building safe sub-ontology that includes one or more elements of a given ontology includes designating at least one the elements as a sensitive element, where a sensitive element is an element not to be revealed. The method then designates a safe sub-ontology such that the safe sub-ontology does not include any elements that, alone or in combination, allow inference of a sensitive element, in accordance with one or more given inference rules. In another embodiment, a method for building a potential sub-ontology includes designating at least one of the elements as a sensitive element and including a maximal number of the elements in the potential sub-ontology, wherein the maximal number includes the greatest number of elements that can be revealed, cumulatively, without allowing inference of a sensitive element, in accordance with one or more given inference rules.
摘要翻译：本发明是一种安全本体推理的方法和装置。在一个实施例中，一种用于构建包括给定本体的一个或多个元素的安全子本体的方法包括将至少一个元素指定为敏感元件，其中敏感元件是不被揭示的元件。该方法然后指定安全子本体，使得安全子本体不包括根据一个或多个给定推理规则单独或组合地允许敏感元素的推断的任何元素。在另一实施例中，构建潜在子本体的方法包括将至少一个元素指定为敏感元件并且包括潜在子本体中的元素的最大数量，其中最大数量包括最大数量的元素可以根据一个或多个给定的推论规则累积地揭示，而不允许推断敏感元件。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式