selected publications academic article RORI-based countermeasure selection using the OrBAC formalism. International Journal of Information Security. 13:63-79. 2013