Software Security -- Theories and Systems Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Okada, Mitsuhiro (Editor, http://id.loc.gov/vocabulary/relators/edt), Pierce, Benjamin (Editor, http://id.loc.gov/vocabulary/relators/edt), Scedrov, Andre (Editor, http://id.loc.gov/vocabulary/relators/edt), Tokuda, Hideyuki (Editor, http://id.loc.gov/vocabulary/relators/edt), Yonezawa, Akinori (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Edition: 1st ed. 2003.
• Series: Lecture Notes in Computer Science, 2609
• Subjects: Data encryption (Computer science).; Operating systems (Computers).; Computer communication systems.; Programming languages (Electronic computers).; Computer logic.; Management information systems.; Computer science.; Cryptology.; Operating Systems.; Computer Communication Networks.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Management of Computing and Information 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...