Isaac Agudo, Javier López 0001. Specification and formal verification of security requirements. In Kiril Boyanov, editor, Proceedings of the 5th International Conference on Computer Systems and Technologies, CompSysTech 2004, Rousse, Bulgaria, June 17-18, 2004. pages 1-6, ACM, 2004. [doi]
Abstract is missing.