Logics for reasoning about cryptographic constructions
scientific article; zbMATH DE number 5021335