
Computer Security Foundations Workshop : Proceedings 1994 : June 14-16, 1994 Franconia, New Hampshire
Csfw 7
Seiten
1994
IEEE Computer Society Press,U.S. (Verlag)
978-0-8186-6230-0 (ISBN)
IEEE Computer Society Press,U.S. (Verlag)
978-0-8186-6230-0 (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-10 | 0-8186-6230-1 / 0818662301 |
ISBN-13 | 978-0-8186-6230-0 / 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 (2022)
C.H.Beck (Verlag)
9,95 €