00455nam a2200121Ia 4500008004100000100001700041245011800058245004900176260000900225300003100234440004500265650002300310171207s9999    xx            000 0 und d  aMammar, Amel 2aA formal approach to derive an aspect oriented programming-based implementation of a secure access control filter  cAmel Mammar, Thi Mai Nguyen, Régine Laleau  c2017  apages 158-178, August 2017  aInformation and Software Technologyv92:  aSOFTWARE TECHNLOGY