Produktnummer:
18c60740c601c5448f8628125695d25d02
Themengebiete: | Access Control Authentication Compiler Computer Viruses Coq Dependable Computing Information Monitor Reliable Systems Software Security |
---|---|
Veröffentlichungsdatum: | 21.02.2003 |
EAN: | 9783540007081 |
Sprache: | Englisch |
Seitenzahl: | 476 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Okada, Mitsuhiro Pierce, Benjamin Scedrov, Andre Tokuda, Hideyuki Yonezawa, Akinori |
Verlag: | Springer Berlin |
Untertitel: | Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers |
Produktinformationen "Software Security -- Theories and Systems"
For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed.This book assesses the state of the art in software and systems security by presenting a carefully arranged selection of revised invited and reviewed papers. It covers basic aspects and recently developed topics such as security of pervasive computing, peer-to-peer systems and autonomous distributed agents, secure software circulation, compilers for fail-safe C language, construction of secure mail systems, type systems and multiset rewriting systems for security protocols, and privacy issues as well.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen