- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
Bruno Blanchet
€ 108,95
+ 217 punten
Omschrijving
Focuses on the verification of specifications of protocols in the symbolic model. ProVerif is an automatic symbolic protocol verifier. This survey presents an overview of the research on ProVerif and is the most comprehensive text available on the topic.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 152
- Reeks:
Eigenschappen
- Productcode (EAN):
- 9781680832068
- Verschijningsdatum:
- 31/10/2016
- Uitvoering:
- Paperback
- Afmetingen:
- 156 mm x 234 mm
- Gewicht:
- 224 g
Alleen bij Standaard Boekhandel
+ 217 punten op je klantenkaart van Standaard Boekhandel
CADEAU
CADEAU
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.