Javier Lopez, Juan J. Ortega, José Luis Vivas, José M. Troya. How to Specify Security Services: A Practical Approach. In Antonio Lioy, Daniele Mazzocchi, editors, Communications and Multimedia Security - Advanced Techniques for Network and Data Protection, 7th IFIP TC-6 TC-11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003, Proceedings. Volume 2828 of Lecture Notes in Computer Science, pages 158-171, Springer, 2003. [doi]
Abstract is missing.