Ebook: Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers
- Genre: Education // International Conferences and Symposiums
- Tags: Computer Communication Networks, Operating Systems, Data Encryption, Programming Languages Compilers Interpreters, Theory of Computation, Management of Computing and Information Systems
- Series: Lecture Notes in Computer Science 3233
- Year: 2004
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4–6, 2003. This volume is the collection of the papers that were presented at ISSS 2003. The proceedings of ISSS 2002 was published as LNCS 2609. Although the security and reliability of software systems for networked c- puter systems are major concerns of current society, the technology for software securitystillneedstobedevelopedinmanydirections.SimilartoISSS2002,ISSS 2003 aimed to provide a forum for research discussions and exchanges among world-leading scientists in the ?elds of both theoretical and systems aspects of security in software construction. The program of ISSS 2003 was a combination of invited talks and selected research contributions. It included the most recent visions and researches of the 9invitedspeakers,aswellas11contributionsofresearchesfundedbytheMEXT grant-in-aid for scienti?c research on the priority area “Implementation Scheme for Secure Computing” (AnZenKaken). We collected the original contributions after their presentation at the symposium and began a review procedure that resulted in the selection of the papers in this volume. They appear here in ?nal form. ISSS 2003 required a lot of work that was heavily dependent on members of the program committee, and sta?s and graduate students who participated in AnZenKaken. We sincerely thank them for their e?orts and time.
This book constitutes the thoroughly refereed post-proceedings of the Second Mext-NSF-JSPS Interntional Symposium on Software Security, ISSS 2003, held in Tokyo, Japan in November 2003.
The 18 revised full invited and selected papers presented were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on analysis of protocols and cryptography, verification of security properties, safe implementation of programming languages, secure execution environments, and secure systems and security management.