- 5 resultaten
laagste prijs: € 20,90, hoogste prijs: € 94,97, gemiddelde prijs: € 60,57
1
bestellen
bij AbeBooks.de
€ 91,06
verzending: € 1,721
bestellen
Details aangeboden
Gesponsorde link
Bella, Giampaolo:

Formal Correctness of Security Protocols - pocketboek

2017, ISBN: 3540681345

[EAN: 9783540681342], Neubuch, [PU: Springer], FORMAL CORRECTNESS OF SECURITY PROTOCOLS, PRINT ON DEMAND Book; New; Publication Year 2017; Fast Shipping from the UK., Books

NEW BOOK. Verzendingskosten: EUR 1.72 Ria Christie Collections, Uxbridge, United Kingdom [59718070] [Rating: 4 (von 5)]
dichtslaan (X)
2
bestellen
bij Biblio.co.uk
$ 110,68
(ongeveer € 94,97)
verzending: € 11,871
bestellen
Details aangeboden
Gesponsorde link

Giampaolo Bella:

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

2007, ISBN: 9783540681342

Springer Verlag, 2007. Hardcover. New. 1st edition. 274 pages. 9.25x6.25x0.75 inches., Springer Verlag, 2007, 6

Verzendingskosten: EUR 11.87 Revaluation Books
dichtslaan (X)
3
Formal Correctness Of Security Protocols - Bella, Giampaolo
bestellen
bij AbeBooks.de
€ 66,93
verzending: € 17,361
bestellen
Details aangeboden
Gesponsorde link
Bella, Giampaolo:
Formal Correctness Of Security Protocols - gebonden uitgave, pocketboek

2007

ISBN: 3540681345

[EAN: 9783540681342], Gebraucht, wie neu, [PU: Springer], Unread book in perfect condition., Books

NOT NEW BOOK. Verzendingskosten: EUR 17.36 GreatBookPricesUK, Castle Donington, DERBY, United Kingdom [72536976] [Rating: 4 (von 5)]
dichtslaan (X)
4
bestellen
bij Antikbuch24.de
€ 20,90
bestellen
Details en verzending
Gesponsorde link
Bella, Giampaolo:
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - gebonden uitgave, pocketboek

ISBN: 9783540681342

294 p. Hardcover/Pappeinband, [PU: Springer, Berlin/Heidelberg]

Verzendingskosten:exclusief verzendingskosten Antiquariat Thomas Haker GmbH & Co. KG
dichtslaan (X)
5
bestellen
bij Antikbuch24.de
€ 29,00
bestellen
Details en verzending
Gesponsorde link
Bella, Giampaolo:
Formal Correctness of Security Protocols. [Information Security and Cryptography]. - gebonden uitgave, pocketboek

ISBN: 9783540681342

294 p. Hardcover/Pappeinband, [PU: Springer, Berlin/Heidelberg]

Verzendingskosten:exclusief verzendingskosten Antiquariat Thomas Haker GmbH & Co. KG
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
auteur:
Titel:
ISBN:

3540681345


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


EAN (ISBN-13): 9783540681342
ISBN (ISBN-10): 3540681345
Gebonden uitgave
pocket book
Verschijningsjaar: 2007
Uitgever: Springer-Verlag GmbH
274 Bladzijden
Gewicht: 0,550 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-06-21T10:48:29+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-03-04T09:15:52+01:00 (Amsterdam)
ISBN/EAN: 3540681345

ISBN - alternatieve schrijfwijzen:
3-540-68134-5, 978-3-540-68134-2
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: bella, giampaolo
Titel van het boek: information security, formal correctness security protocols, 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: 2007-03-05
Berlin; Heidelberg; DE
Taal: Engels
54,99 € (DE)

BB; Hardcover, Softcover / Informatik, EDV/Datenkommunikation, Netzwerke; Netzwerk-Hardware; Verstehen; Mathematik; 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; EA; BC

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...