安全策略分析器服务和可满足性引擎

摘要

可以利用安全策略来同意或拒绝与计算资源的访问相关的许可。可以对两个或更多个安全策略进行比较，以确定所述策略是否为等效的，一个安全是否比另一个更宽松，等等。在一些情况下，可能可以识别是否存在足以确定两个安全策略缺乏等效性的安全许可。命题逻辑可以用于评估安全策略。