@ARTICLE{Kallel2009IJICS,
  AUTHOR =       {Slim Kallel and Anis Charfi and Mira Mezini and
                  Mohamed Jmaiel and Andreas Sewe},
  TITLE =        {{A Holistic Approach for Access Control Policies:
                  from Formal Specification to Aspect-Based
                  Enforcement}},
  JOURNAL =      {International Journal of Information and Computer
                  Security},
  YEAR =         {2009},
  volume =       {3},
  number =       {3/4},
  pages =        {337 -- 354},
keywords  = {Formal},
  publisher =    {Inderscience publishers},
  doi =          {10.1504/IJICS.2009.031044},
}