Security specification and implementation for mobile e-health services | Publicación