A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter

• Amel Mammar ^[1] ; Thi Mai Nguyen ^[1] ; Régine Laleau ^[2]
  1. [1] University of Paris-Saclay

     University of Paris-Saclay

     Arrondissement de Palaiseau, Francia

     
  2. [2] Université Paris-Est, LACL, UPEC, IUT Sénart Fontainebleau, France
• Localización: Information and software technology, ISSN 0950-5849, Nº 92, 2017, págs. 158-178
• Idioma: inglés
• Enlaces
  • Texto completo