- 5 resultaten
laagste prijs: € 55,07, hoogste prijs: € 66,23, gemiddelde prijs: € 59,69
1
bestellen
bij booklooker.de
€ 55,99
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Bella, Giampaolo:

Formal Correctness of Security Protocols - pocketboek

2010, ISBN: 9783642087820

gebonden uitgave

[ED: Softcover], [PU: Springer, Berlin], The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerbe… Meer...

Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
dichtslaan (X)
2
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
bestellen
bij amazon.co.uk
£ 49,05
(ongeveer € 55,07)
verzending: € 4,801
bestellen
Details aangeboden
Gesponsorde link

Giampaolo Bella:

Formal Correctness of Security Protocols (Information Security and Cryptography) - pocketboek

2010, ISBN: 3642087825

[SR: 9720690], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Meer...

  - Gebraucht. Verzendingskosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 6-10 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80) Paper Cavalier UK
dichtslaan (X)
3
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
bestellen
bij amazon.co.uk
£ 50,05
(ongeveer € 56,69)
verzending: € 4,801
bestellen
Details aangeboden
Gesponsorde link
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - pocketboek

2010

ISBN: 3642087825

[SR: 9024784], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Meer...

  - Gebraucht. Verzendingskosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80) rbmbooks
dichtslaan (X)
4
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
bestellen
bij amazon.co.uk
£ 58,99
(ongeveer € 66,23)
verzending: € 4,941
bestellen
Details aangeboden
Gesponsorde link
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - pocketboek

2010, ISBN: 3642087825

[SR: 9720690], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Meer...

  - Neuware. Verzendingskosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 24 hours. (EUR 4.94) Amazon.co.uk
dichtslaan (X)
5
Formal Correctness of Security Protocols (Information Security and Cryptography) - Giampaolo Bella
bestellen
bij amazon.co.uk
£ 56,92
(ongeveer € 64,47)
verzending: € 4,801
bestellen
Details aangeboden
Gesponsorde link
Giampaolo Bella:
Formal Correctness of Security Protocols (Information Security and Cryptography) - pocketboek

2010, ISBN: 3642087825

[SR: 9024784], Paperback, [EAN: 9783642087820], Springer, Springer, Book, [PU: Springer], 2010-11-29, Springer, The author investigates proofs of correctness of realistic security protoco… Meer...

  - Neuware. Verzendingskosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 6-10 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80) BOOKS etc
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Formal Correctness of Security Protocols (Information Security and Cryptography)
auteur:
Titel:
ISBN:

9783642087820


The author investigates proofs of correctness of realistic security protocols in a formal, intuitive setting. The protocols examined include Kerberos versions, smartcard protocols, non-repudiation protocols, and certified email protocols. The method of analysis turns out to be both powerful and flexible. This research advances significant extensions to the method of analysis, while the findings on the protocols analysed are novel and illuminating.

Gedetalleerde informatie over het boek. - Formal Correctness of Security Protocols (Information Security and Cryptography)


EAN (ISBN-13): 9783642087820
ISBN (ISBN-10): 3642087825
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag GmbH
296 Bladzijden
Gewicht: 0,450 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2010-05-25T17:23:05+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2019-11-14T11:00:25+01:00 (Amsterdam)
ISBN/EAN: 9783642087820

ISBN - alternatieve schrijfwijzen:
3-642-08782-5, 978-3-642-08782-0
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: giampaolo, bella

Gegevens van de uitgever

Auteur: Giampaolo Bella
Titel: Information Security and Cryptography; Formal Correctness of Security Protocols
Uitgeverij: Springer; Springer Berlin
274 Bladzijden
Verschijningsjaar: 2010-11-30
Berlin; Heidelberg; DE
Gedrukt / Gemaakt in
Taal: Engels
54,99 € (DE)

BC; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Formal methods; Inductive techniques; Information; Isabelle; Kerberos; Protocol engineering; Security protocols; Theorem proving; data security; formal method; network security; security; Computer Communication Networks; Formal Languages and Automata Theory; Data Structures and Information Theory; Data and Information Security; Artificial Intelligence; Communications Engineering, Networks; Theoretische Informatik; Algorithmen und Datenstrukturen; Informationstheorie; Computersicherheit; Netzwerksicherheit; Künstliche Intelligenz; Nachrichtententechnik, Telekommunikation; BB

The Analysis of Security Protocols.- The Inductive Method.- Verifying the Protocol Goals.- The Principle of Goal Availability.- Modelling Timestamping and Verifying a Classical Protocol.- Verifying a Deployed Protocol.- Modelling Agents’ Knowledge of Messages.- Verifying Another Deployed Protocol.- Modelling Smartcards.- Verifying a Smartcard Protocol.- Modelling Accountability.- Verifying Two Accountability Protocols.- Conclusions.
< naar Archief...