多决策策略和策略组合器规范，作者：Theophilos John Giannakopoulos 电子书下载

原名:Multi-Decision Policy and Policy Combinator Specifications by Theophilos John Giannakopoulos
作品简介:Margrave 是一种用于访问控制策略的规范语言和分析工具，其语义基于 1.3 我们的方法和贡献。……