会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明授权
    • Policy algebra and compatibility model
    • 政策代数和兼容性模型
    • US07584499B2
    • 2009-09-01
    • US11102848
    • 2005-04-08
    • Alfred M. LeeAshok MalhotraElliot Lee WaingoldJeffery C. SchlimmerStephen J. Millet
    • Alfred M. LeeAshok MalhotraElliot Lee WaingoldJeffery C. SchlimmerStephen J. Millet
    • H04L9/00G06F17/00
    • G06F17/3089
    • The present invention provide for an algebraic mapping of a policy expression from a compact to a normalized form, both in Boolean and set formulations. The policy algebra is defined in such a way that policy alternatives within the normalized expression will be the same across equivalent compact expressions—regardless of how the assertions are arbitrarily constrained or what operators are used to constrain such equivalent expressions. Moreover, the present invention also provides a model for identifying alternatives that are equivalent by comparing only the root element names or QName of each assertion within an alternative. In addition, embodiments as described herein can utilize the identification of equivalent alternatives in order to create an intersection policy expression to limit alternatives of admissible behavior to those in common across both endpoints.
    • 本发明提供了布尔和集合公式中的策略表达式从契约到归一化形式的代数映射。 策略代数被定义为使得归一化表达式中的策略替换在等价的紧凑表达式之间将是相同的,而不论断言如何被任意约束,或者使用什么运算符来约束这样的等价表达式。 此外,本发明还提供了用于通过仅比较替代方案中的每个断言的根元素名称或QName来识别等价的替代方案的模型。 此外,如本文所述的实施例可以利用等效替代方案的识别,以便创建交叉策略表达式以将允许行为的替代方案限制在跨越两个端点的共同行为。