| Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers 2003 Edition Contributor(s): Okada, Mitsuhiro (Editor), Pierce, Benjamin (Editor), Scedrov, Andre (Editor) |
|
 |
ISBN: 3540007083 ISBN-13: 9783540007081 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: February 2003 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Computers | Operating Systems - General - Computers | Programming Languages - General - Computers | Computer Science |
| Dewey: 005.8 |
| LCCN: 2003042595 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 1.06" H x 6.56" W x 9.24" (1.57 lbs) 476 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |