Petri Nets for the Verification of Ubiquitous Systems with Transient Secure Association | Publicación