用于安全策略监视服务的方法和系统以及存储介质

摘要

可以监视计算系统的请求。可以识别与策略的应用相关联的请求，并且可以调用策略验证例程。所述策略验证例程可以检测所述请求的所述策略是否比参考策略更宽松，并响应于确定所述请求的所述策略比所述参考策略更宽松而执行缓解例程。命题逻辑可以用于评估策略。