Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
Bruno Blanchet
Broschiertes Buch

Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif

Versandkostenfrei!
Versandfertig in 1-2 Wochen
103,99 €
inkl. MwSt.
PAYBACK Punkte
52 °P sammeln!
The verification of security protocols has been an active research area since the 1990s. This topic is interesting for several reasons. Security protocols are ubiquitous: they are used for e-commerce, wireless networks, credit cards, e-voting, among others. The design of security protocols is notoriously error-prone. These errors can also have serious consequences. Hence, the formal verification or proof of protocols is particularly desirable. This survey focuses on the verification of specifications of protocols in the symbolic model. Even though it is fairly abstract, this level of verificat...