Petri nets with name creation for transient secure association | Publicación