Towards formal specification of abstract security properties. A. Maña and G. Pujol. Third International Conference on Availability, Reliability and Security, Barcelona, 2008, pp. 80-87, doi: 10.1109/ARES.2008.202.