Javier Lopez, Juan J. Ortega, José M. Troya, José Luis Vivas. High-level specification of security systems. In Proceedings of the Global Telecommunications Conference, 2003. GLOBECOM '03, San Francisco, CA, USA, 1-5 December 2003. pages 1506-1510, IEEE, 2003. [doi]
Abstract is missing.