Amel Mammar, Thi Mai Nguyen, Régine Laleau. Formal Development of a Secure Access Control Filter. In Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu, editors, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. pages 173-180, IEEE, 2016. [doi]
Abstract is missing.