Specification and formal verification of security requirements | Publicación