Towards a Certified Electronic Mail System | Publicación