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.)

Free Preview

Buy this book

eBook $84.99
price for USA in USD (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 $109.99
price for USA in USD
  • 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 (26 chapters)

Table of contents (26 chapters)
  • Towards Security and Privacy for Pervasive Computing

    Campbell, Roy (et al.)

    Pages 1-15

  • Security for Whom? The Shifting Security Assumptions of Pervasive Computing

    Stajano, Frank

    Pages 16-27

  • Active Authentication for Pervasive Computing Environments

    Matsumiya, Kenta (et al.)

    Pages 28-41

  • A Survey of Peer-to-Peer Security Issues

    Wallach, Dan S.

    Pages 42-57

  • Autonomous Nodes and Distributed Mechanisms

    Mitchell, John C. (et al.)

    Pages 58-83

Buy this book

eBook $84.99
price for USA in USD (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 $109.99
price for USA in USD
  • 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