TY  - BOOK
AU  - Mammar, Amel
TI  - A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter
PY  - 2017///
KW  - SOFTWARE TECHNLOGY
ER  -