机译:分布式防火墙配置的验证VS.使用ALCQI(D)的安全策略
机译:使用答案集编程对安全感知服务发现中的策略进行推理
机译:一致性提取器系统:答案集程序,用于数据库中的一致查询回答
机译:使用答案设置编程验证安全策略与防火墙策略之间的一致性
机译:使用答案集编程对自然语言时间要求进行一致性检查。
机译:安全可靠:为什么健壮且可行的数据安全策略在医疗保健计划中至关重要
机译:自动验证防火墙配置与安全策略的一致性
机译:保护microsoft Windows 2000组策略的指南:安全配置工具集。