会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明申请
    • CHECKING RULE AND POLICY REPRESENTATION
    • 检查规则和政策陈述
    • US20090281977A1
    • 2009-11-12
    • US12428294
    • 2009-04-22
    • Paul L. AllenMichael W. AndersonDavid J. FintonCharles T. Kitzmiller
    • Paul L. AllenMichael W. AndersonDavid J. FintonCharles T. Kitzmiller
    • G06F17/00G06N5/02
    • G06F21/577G06Q10/10H04L63/102
    • A computer-performed method of examining policies for a target system of an enterprise system domain. The policies are represented as policy rules, each rule including a condition having binary operator expression(s), each expression referring to one or more policy attributes. For a pair of expressions, the computer(s) obtain sets of sample values sufficient to represent all values assumable by the policy attribute(s) referred to in the pair. The sample values are combined in a mixed-radix enumeration in which each attribute is represented in a corresponding position of each sample value combination and of the enumeration. Using the enumeration, the computer(s) evaluate each expression of the pair relative to each of the sample value combinations to obtain a truth table. Based on the truth table, a relationship between the pair is detected and the user may be notified as to an anomaly in the rules.
    • 一种用于检查企业系统域目标系统的策略的计算机执行方法。 策略被表示为策略规则,每个规则包括具有二进制运算符表达式的条件,每个表达式引用一个或多个策略属性。 对于一对表达式,计算机获得足以表示由该对中所引用的策略属性所假定的所有值的样本值集合。 样本值以混合基数枚举组合,其中每个属性在每个样本值组合和枚举的相应位置表示。 使用枚举,计算机根据每个样本值组合来评估对的每个表达式以获得真值表。 基于真值表,检测到该对之间的关​​系,并且可以向用户通知规则中的异常。
    • 7. 发明授权
    • Global policy framework analyzer
    • 全球政策框架分析仪
    • US08655824B1
    • 2014-02-18
    • US13041545
    • 2011-03-07
    • Paul L. AllenDavid J. FintonCharles Theodore Kitzmiller
    • Paul L. AllenDavid J. FintonCharles Theodore Kitzmiller
    • G06N5/02
    • G06N5/025G06F21/604H04L41/0866H04L41/0893H04L63/20
    • Analyzing a set of policies. A goal comprising a particular outcome is received. An analysis object comprising a data structure maintaining information needed to perform an analysis of the goal is defined. The analysis object is configured to limit a number of calculations needed to achieve the goal. Each member of a set of expressions found in the set of policies has an output. The output is the same for each expression. One of the set of expressions is solved. The solved output is cached in the analysis object such that the solved output is associated with each member of the set of expressions. The analysis object is processed to create a set of values that achieves the goal. Processing includes referencing the cache to retrieve the solved output each time a member of the set of expressions is to be solved during processing of the analysis object.
    • 分析一套策略。 收到包含特定结果的目标。 定义了包括保持执行目标分析所需的信息的数据结构的分析对象。 分析对象被配置为限制实现目标所需的计算数量。 在该策略集中找到的一组表达式的每个成员都有一个输出。 每个表达式的输出相同。 一组表达式被解决了。 解析输出缓存在分析对象中,使得求解的输出与表达式集合中的每个成员相关联。 处理分析对象以创建一组达到目标的值。 处理包括引用高速缓存以在每次在分析对象的处理期间解析表达式集合的成员时检索解决的输出。
    • 8. 发明授权
    • Checking rule and policy representation
    • 检查规则和策略表示
    • US08271418B2
    • 2012-09-18
    • US12428294
    • 2009-04-22
    • Paul L. AllenMichael W. AndersonDavid J. FintonCharles T. Kitzmiller
    • Paul L. AllenMichael W. AndersonDavid J. FintonCharles T. Kitzmiller
    • G06F17/00G06N5/02
    • G06F21/577G06Q10/10H04L63/102
    • A computer-performed method of examining policies for a target system of an enterprise system domain. The policies are represented as policy rules, each rule including a condition having binary operator expression(s), each expression referring to one or more policy attributes. For a pair of expressions, the computer(s) obtain sets of sample values sufficient to represent all values assumable by the policy attribute(s) referred to in the pair. The sample values are combined in a mixed-radix enumeration in which each attribute is represented in a corresponding position of each sample value combination and of the enumeration. Using the enumeration, the computer(s) evaluate each expression of the pair relative to each of the sample value combinations to obtain a truth table. Based on the truth table, a relationship between the pair is detected and the user may be notified as to an anomaly in the rules.
    • 一种用于检查企业系统域目标系统的策略的计算机执行方法。 策略被表示为策略规则,每个规则包括具有二进制运算符表达式的条件,每个表达式引用一个或多个策略属性。 对于一对表达式,计算机获得足以表示由该对中所引用的策略属性所假定的所有值的样本值集合。 样本值以混合基数枚举组合,其中每个属性在每个样本值组合和枚举的相应位置表示。 使用枚举,计算机根据每个样本值组合来评估对的每个表达式以获得真值表。 基于真值表,检测到该对之间的关​​系,并且可以向用户通知规则中的异常。