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

publication date

  • August 9, 2017

start page

  • 158

end page

  • 178

volume

  • 92