Foundations and applications of security analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 ; revised selected papers Pierpaolo Degano; Luca Viganò (eds.)
Materialtyp:
TextVerlagsnummer: 12725595Sprache: Englisch Reihen: ; 551100 | Lecture notes in computer science ; 5511Verlag: Berlin Heidelberg [u.a.] Springer 2009Beschreibung: X, 221 S. graph. Darst. 235 mm x 155 mmInhaltstyp: - Text
- ohne Hilfsmittel zu benutzen
- Band
- 3642034586
- 9783642034589
- Computer security -- Congresses
- Formal methods (Computer science) -- Congresses
- Cryptography -- Congresses
- API
- Computersicherheit
- Computersicherheit
- Datensicherung
- Kryptoanalyse
- Rechnernetz
- Schlüsselverwaltung
- Sicherheitsprotokoll
- Computersicherheit
- Sicherheitsprotokoll
- Kryptoanalyse
- Schlüsselverwaltung
- Rechnernetz
- API
- Computersicherheit
- Datensicherung
- QA76.9.A25
- SS 4800
- *68-06
- 68P25
- 94A60
- 00B25
- 54.38
- 54.32
- 3
- Archivierung/Langzeitarchivierung gewährleistet PEBW
| Medientyp | Aktuelle Bibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | |
|---|---|---|---|---|---|---|---|---|
Buch
|
Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) | Campusbibliothek für Informatik und Mathematik (E2 3) | Series (GF) | LNCS 5511 (Regal durchstöbern(Öffnet sich unterhalb)) | Verfügbar | 2000000272351 |
Literaturangaben
Degano, Pierpaolo: Foundations and Applications of Security Analysis
Archivierung prüfen 20200919 DE-640 3 pdager
Archivierung/Langzeitarchivierung gewährleistet PEBW pdager DE-31