High-level specification of security systems.

Javier Lpez, Juan J. Ortega, Jos M. Troya, Jos Luis Vivas

Browse the full GLOBECOM paper archive.