Protocol Engineering Applied to Formal Analysis of Security Systems | Publicación