Computer Security Foundations Workshop : Proceedings 1994 : June 14-16, 1994 Franconia, New Hampshire
Csfw 7
Seiten
1994
IEEE Computer Society Press,U.S. (Verlag)
9780818662300 (ISBN)
IEEE Computer Society Press,U.S. (Verlag)
9780818662300 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
Contains 19 papers from the June 1994 workshop emphasizing formal models that provide a framework for theories of security and techniques for verifying security as defined by those theories. Papers are arranged in seven sections covering noninterference and composability, formal methods and semantic
| Erscheint lt. Verlag | 15.6.2006 |
|---|---|
| Mitarbeit |
Sonstige Mitarbeit: IEEE Computer Society |
| Verlagsort | Los Alamitos, CA |
| Sprache | englisch |
| Maße | 216 x 279 mm |
| Gewicht | 522 g |
| Themenwelt | Informatik ► Theorie / Studium ► Kryptologie |
| ISBN-13 | 9780818662300 / 9780818662300 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Geschichte, Techniken, Anwendungen
Buch | Softcover (2025)
C.H.Beck (Verlag)
CHF 16,80