Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2609)
Included in the following conference series:
Conference proceedings info: ISSS 2002.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (26 papers)
-
Security for P2P Systems and Autonomous Distributed Agents
-
Secure Software Circulation and Secure C Language
-
Securing Programs by Rewriting and Sandboxing
-
Secure Mail System Construction
-
Proof-Carrying Code and Type Systems for Security Protocols
-
Authentication Protocols
Other volumes
-
Software Security — Theories and Systems
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Software Security -- Theories and Systems
Book Subtitle: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
Editors: Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-36532-X
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-00708-1Published: 21 February 2003
eBook ISBN: 978-3-540-36532-7Published: 02 August 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 476
Topics: Cryptology, Operating Systems, Computer Communication Networks, Programming Languages, Compilers, Interpreters, Logics and Meanings of Programs, Management of Computing and Information Systems