Towards Formal Specification of Abstract Security Properties | Publicación