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… Mehr…
amazon.co.uk |
Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - neues Buch
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ü… Mehr…
amazon.de |
ISBN: 9783540681366
Formal Correctness of Security Protocols: ab 53.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
eBook.de Versandkosten:in stock, , , zzgl. Versandkosten. Details... |
ISBN: 9783540681366
; PDF; Computing > Computer networking & communications > Network security, Springer Berlin Heidelberg
hive.co.uk No. 9783540681366. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2010, ISBN: 9783540681366
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], Seiten: 274, [ED: 1], Springer-Verlag, 2010
lehmanns.de Versandkosten:Download sofort lieferbar. (EUR 9.95) Details... |
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… Mehr…
Bella, Giampaolo:
Formal Correctness of Security Protocols (Information Security and Cryptography) (English Edition) - neues Buch2007, 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ü… Mehr…
ISBN: 9783540681366
Formal Correctness of Security Protocols: ab 53.49 € eBooks > Sachthemen & Ratgeber > Technik Springer-Verlag GmbH eBook als pdf, Springer-Verlag GmbH
ISBN: 9783540681366
; PDF; Computing > Computer networking & communications > Network security, Springer Berlin Heidelberg
2010, ISBN: 9783540681366
eBooks, eBook Download (PDF), Auflage, [PU: Springer-Verlag], Seiten: 274, [ED: 1], Springer-Verlag, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Correctness of Security Protocols (Information Security and Cryptography)
EAN (ISBN-13): 9783540681366
Erscheinungsjahr: 2007
Herausgeber: Springer
274 Seiten
Sprache: eng/Englisch
Buch in der Datenbank seit 2009-06-03T13:17:57+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-07-22T06:33:12+02:00 (Berlin)
ISBN/EAN: 9783540681366
ISBN - alternative Schreibweisen:
978-3-540-68136-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: bella
Daten vom Verlag:
Autor/in: Giampaolo Bella
Titel: Information Security and Cryptography; Formal Correctness of Security Protocols
Verlag: Springer; Springer Berlin
274 Seiten
Erscheinungsjahr: 2007-05-27
Berlin; Heidelberg; DE
Sprache: Englisch
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.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9788120090002 Designing Modern Microbiological / Biomedical Laboratory: Lab Design Process And Technology (Busscher,Busscher H.J.,Kreuzer H,Mills,Mount G.J.,Mukherjee S,Richmond J.Y,Rusciani L.,Sambrook And Russell,Schaechter M.,Sessler J.L.,Sussman H.E.,Watts T. L. P.,Watts T.L.P.,Wehr)
- 9788120090002 Designing Modern Microbiological / Biomedical Laboratory: Lab Design Process And Technology (Busscher,Busscher H.J.,Kreuzer H,Mills,Mount G.J.,Mukherjee S,Richmond J.Y,Rusciani L.,Sambrook And Russell,Schaechter M.,Sessler J.L.,Sussman H.E.,Watts T. L. P.,Watts T.L.P.,Wehr)
- 9783642087820 Formal Correctness of Security Protocols (Information Security and Cryptography) (Giampaolo Bella)
- 9780875532318 Designing a Modern Microbiological/Biomedical Laboratory: Modern Biological Laboratory Design (American Public Health Association)
- 9783540681342 Formal Correctness of Security Protocols (Bella, Giampaolo)
- 93c38c5abc4f4b969ea38f7f8a256ce1
< zum Archiv...