Lecture Notes in Computer Science

Software Security - Theories and Systems

Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003

Editors: Futatsugi, Kokichi, Mizoguchi, Fumio, Yonezaki, Naoki (Eds.)

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-37621-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-23635-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (18 chapters)

  • Verifying Confidentiality and Authentication in Kerberos 5

    Butler, Frederick (et al.)

    Pages 1-24

  • A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack

    Tomioka, Daigo (et al.)

    Pages 25-44

  • Formal Analysis of the NetBill Electronic Commerce Protocol

    Ogata, Kazuhiro (et al.)

    Pages 45-64

  • Inferences on Honesty in Compositional Logic for Protocol Analysis

    Hasebe, Koji (et al.)

    Pages 65-86

  • A Formal System for Analysis of Cryptographic Encryption and Their Security Properties

    Bhery, Ashraf (et al.)

    Pages 87-112

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-540-37621-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-23635-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Security - Theories and Systems
Book Subtitle
Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003
Editors
  • Kokichi Futatsugi
  • Fumio Mizoguchi
  • Naoki Yonezaki
Series Title
Lecture Notes in Computer Science
Series Volume
3233
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37621-7
DOI
10.1007/b102118
Softcover ISBN
978-3-540-23635-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 352
Topics