Temporal Logics of Knowledge and their Applications in Security | Publicación