Titel |
Formal correctness of security protocols : with 4 tables / Giampaolo Bella |
|---|---|
Beteiligt |
Giampaolo Bella (Mitwirkender) |
Erschienen |
Berlin, Heidelberg: Springer |
Umfang |
Online-Ressource |
ISBN |
978-3-540-68136-6 |
Sprache |
|
Land |
|
Themengebiet |
|
Thema |
Sicherheitsprotokoll, Verifikation, Formale Methode, Induktionsbeweis, Automatisches Beweisverfahren, Online-Publikation |
DDC-Notation |
|
Reihe |
Information security and cryptography |
Andere Ausgaben |
Erscheint auch als Druck-Ausgabe: Formal correctness of security protocols : with 4 tables |
Persistent Identifier |
urn:nbn:de:1111-200708022582 (URN) |
Weitere Angaben |
Lizenzpflichtig |
Datensatz-ID |
985500530 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: