TY - RPRT TI - Security Policy Enforcement Through Refinement Process AU - Nicolas Stouls AU - Marie-Laure Potet PY - 2010 UR - https://arxiv.org/abs/1004.1460 ID - 1004.1460 ER -