<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation"^^ . "Automatic methods developed so far for analysis of security protocols only model a limited set of cryptographic primitives (often, only encryption and concatenation) and from low-level features of cryptographic algorithms. This paper is an attempt towards closing this gap. We propose a symbolic technique and a decision method for analysis of protocols based on modular exponentiation, such as Diffie-Hellman key exchange. We introduce a protocol description language along with its semantics. Then, we propose a notion of symbolic execution and, based on it, a verification method. We prove that the method is sound and complete with respect to the language semantics."^^ . "2003" . "2747" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . "Peter"^^ . "Vojtáš"^^ . "Peter Vojtáš"^^ . . "Michele"^^ . "Boreale"^^ . "Michele Boreale"^^ . . "Branislav"^^ . "Rovan"^^ . "Branislav Rovan"^^ . . "Maria Grazia"^^ . "Buscemi"^^ . "Maria Grazia Buscemi"^^ . . . . . "HTML Summary of #130 \n\nSymbolic Analysis of Crypto-Protocols Based on Modular Exponentiation\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .