Distributed temporal logic for the analysis of security protocol models (0)

by David Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò