Categorical interpretations of some key agreement protocols | Publicación