© 2004

Software Security - Theories and Systems

Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers

  • Kokichi Futatsugi
  • Fumio Mizoguchi
  • Naoki Yonezaki
Conference proceedings ISSS 2003

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3233)

Table of contents

  1. Front Matter
  2. Part 1: Analysis of Protocols and Cryptography

    1. Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov
      Pages 1-24
    2. Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda
      Pages 25-44
    3. Kazuhiro Ogata, Kokichi Futatsugi
      Pages 45-64
    4. Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki
      Pages 87-112
  3. Part 2: Verification of Security Properties

  4. Part 3: Safe Implementation of Programming Languages

    1. Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
      Pages 192-208
    2. Matthew Harren, George C. Necula
      Pages 209-225
  5. Part 4: Secure Execution Environments

    1. Yasushi Shinjo, Yoshinori Nakata, Kozo Itano
      Pages 262-280
    2. Osamu Sato, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya
      Pages 281-295
  6. Part 5: Secure Systems and Security Management

    1. David P. Gilliam
      Pages 296-317
    2. Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
      Pages 318-329
    3. Hiroyuki Nishiyama, Yukinobu Mine, Fumio Mizoguchi
      Pages 330-344
  7. Back Matter

About these proceedings


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.


Code Information Monitor authentication cryptographic protocols data security dependable computing formal specification information security logic reliable systems security security protocols software security systems security

Editors and affiliations

  • Kokichi Futatsugi
    • 1
  • Fumio Mizoguchi
    • 2
  • Naoki Yonezaki
    • 3
  1. 1.Japan Advanced Institute of Science and Technology(JAIST) 
  2. 2.Faculty of Science and TechnologyTokyo University of ScienceChibaJapan
  3. 3.Tokyo Institute of Technology 

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking