selected publications

• academic article

  • A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter.  Information and Software Technology.  92:158-178. 2017

• conference paper

  • A tool for the generation of a secure access control filter.  . 1-12. 2016
  • Formal Development of a Secure Access Control Filter.  . 173-180. 2016