Distributed temporal logic for the analysis of security protocol models
scientific article; zbMATH DE number 5925530
scientific article