Security Policy Enforcement Through Refinement Process

Nicolas Stouls, Marie-Laure Potet

In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process. We argue that it is pos…