Verwandte Artikel zu Foundations of Security Analysis and Design II: FOSAD...
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures: 2946 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness.
This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001 and September 2002. The lectures are devoted to:
- Formal Approaches to Approximating Noninterference Properties
- The Key Establishment Problem
- Name-Passing Calculi and Cryptoprimitives
- Classification of Security Properties; Network Security
- Cryptographic Algorithms for Multimedia Traffic
- Security for Mobility
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness.
This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001 and September 2002. The lectures are devoted to:
- Formal Approaches to Approximating Noninterference Properties
- The Key Establishment Problem
- Name-Passing Calculi and Cryptoprimitives
- Classification of Security Properties; Network Security
- Cryptographic Algorithms for Multimedia Traffic
- Security for Mobility
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 58,01
EUR 13,73 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerSuchergebnisse für Foundations of Security Analysis and Design II: FOSAD...
Beispielbild für diese ISBN
Foundations of Security Analysis and Design II
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540209553_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Foundations of Security Analysis and Design II: Fosad 2001/2002 Turorial Lectures
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 267 pages. German language. 9.25x6.25x0.75 inches. In Stock. Artikel-Nr. x-3540209557
Anzahl: 2 verfügbar
Foto des Verkäufers
Foundations of Security Analysis and Design II
ISBN 10: 3540209557
ISBN 13: 9783540209553
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware -Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness.This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001 and September 2002. The lectures are devoted to: Formal Approaches to Approximating Noninterference Properties The Key Establishment Problem Name-Passing Calculi and Cryptoprimitives Classification of Security Properties; Network Security Cryptographic Algorithms for Multimedia Traffic Security for MobilitySpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch. Artikel-Nr. 9783540209553
Anzahl: 2 verfügbar
Foto des Verkäufers
Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness.This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001 and September 2002. The lectures are devoted to:- Formal Approaches to Approximating Noninterference Properties- The Key Establishment Problem- Name-Passing Calculi and Cryptoprimitives- Classification of Security Properties; Network Security- Cryptographic Algorithms for Multimedia Traffic- Security for Mobility. Artikel-Nr. 9783540209553
Anzahl: 1 verfügbar