Lecture Notes in Computer Science

Software Security -- Theories and Systems

Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Editors: Okada, M., Pierce, B., Scedrov, A., Tokuda, H., Yonezawa, A. (Eds.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-36532-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-00708-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (5 chapters)

  • Towards Security and Privacy for Pervasive Computing

    Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, et al.

    Pages 1-15

  • A Survey of Peer-to-Peer Security Issues

    Dan S. Wallach

    Pages 42-57

  • SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation

    Kazuhiko Kato, Yoshihiro Oyama

    Pages 112-132

  • Design and Implementation of Access Control System for Smart Office Environment

    Wataru Yamazaki, Fumio Mizoguchi

    Pages 249-262

  • Verification of Authentication Protocols Based on the Binding Relation

    Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito

    Pages 299-316

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-36532-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-00708-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
Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers
Editors
  • Mitsuhiro Okada
  • Benjamin Pierce
  • Andre Scedrov
  • Hideyuki Tokuda
  • Akinori Yonezawa
Series Title
Lecture Notes in Computer Science
Series Volume
2609
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-36532-7
DOI
10.1007/3-540-36532-X
Softcover ISBN
978-3-540-00708-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 476
Topics