- 5 Risultati
prezzo più basso: € 37,44, prezzo più alto: € 67,82, prezzo medio: € 53,15
1
Formal Correctness of Security Protocols (Information Security and Cryptography) - Bella, Giampaolo
Ordina
da amazon.co.uk
£ 42,74
(indicativi € 49,17)
Spedizione: € 5,731
Ordina
Dettagli del offerente
Link sponsorizzato
Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) - nuovo libro

2007, ISBN: 9783540681366

Springer, Kindle Edition, Auflage: 2007, 294 Seiten, Publiziert: 2007-05-27T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, AI & Machine Learning, Computer Science, Computing & Inter… Altro …

Costi di spedizione:Available for download now. (EUR 5.73) Amazon Media EU S.à r.l.
Chiudere (X)
2
Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - Bella, Giampaolo
Ordina
da amazon.de
€ 37,44
Spedizione: € 5,481
Ordina
Dettagli del offerente
Link sponsorizzato

Bella, Giampaolo:

Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - nuovo libro

2007, ISBN: 9783540681366

Springer, Kindle Ausgabe, Auflage: 2007, 294 Seiten, Publiziert: 2007-05-27T00:00:00.000Z, Produktgruppe: Digital Ebook Purchas, Netzwerke, Sicherheit, Computer & Internet, Kategorien, Bü… Altro …

Costi di spedizione:Jetzt als Download verfügbar. (EUR 5.48) Amazon Media EU S.à r.l.
Chiudere (X)
3
Formal Correctness of Security Protocols - Giampaolo Bella
Ordina
da eBook.de
€ 53,49
Ordina
Dettagli & spedizione
Link sponsorizzato
Giampaolo Bella:
Formal Correctness of Security Protocols - nuovo libro

ISBN: 9783540681366

Formal Correctness of Security Protocols: ab 53.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH

Costi di spedizione:in stock, , , zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
4
Formal Correctness of Security Protocols - W. Liese
Ordina
da hive.co.uk
£ 50,14
(indicativi € 57,83)
Ordina
Dettagli & spedizione
Link sponsorizzato
W. Liese:
Formal Correctness of Security Protocols - nuovo libro

ISBN: 9783540681366

; PDF; Computing > Computer networking & communications > Network security, Springer Berlin Heidelberg

No. 9783540681366. Costi di spedizione:Instock, Despatched same working day before 3pm, zzgl. Versandkosten., Costi di spedizione aggiuntivi
Chiudere (X)
5
Formal Correctness of Security Protocols - Giampaolo Bella
Ordina
da lehmanns.de
€ 67,82
Spedizione: € 9,951
Ordina
Dettagli del offerente
Link sponsorizzato
Giampaolo Bella:
Formal Correctness of Security Protocols - Prima edizione

2010, ISBN: 9783540681366

eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], Seiten: 274, [ED: 1], Springer-Verlag, 2010

Costi di spedizione:Download sofort lieferbar. (EUR 9.95)
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Formal Correctness of Security Protocols (Information Security and Cryptography)
Autore:
Titolo:
ISBN:

9783540681366

Informazioni dettagliate del libro - Formal Correctness of Security Protocols (Information Security and Cryptography)


EAN (ISBN-13): 9783540681366
Anno di pubblicazione: 2007
Editore: Springer
274 Pagine
Lingua: eng/Englisch

Libro nella banca dati dal 2009-06-03T13:17:57+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-07-22T06:33:12+02:00 (Zurich)
ISBN/EAN: 9783540681366

ISBN - Stili di scrittura alternativi:
978-3-540-68136-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : bella

Dati dell'editore

Autore: Giampaolo Bella
Titolo: Information Security and Cryptography; Formal Correctness of Security Protocols
Editore: Springer; Springer Berlin
274 Pagine
Anno di pubblicazione: 2007-05-27
Berlin; Heidelberg; DE
Lingua: Inglese
55,00 € (DE)

EA; E107; eBook; Nonbooks, PBS / 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; B; Computer Communication Networks; Formal Languages and Automata Theory; Data Structures and Information Theory; Data and Information Security; Artificial Intelligence; Communications Engineering, Networks; Computer Science; 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.
< Per archiviare...