iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://unpaywall.org/10.1007/3-540-36532-X
Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers | SpringerLink
Skip to main content
Springer Nature Link
Log in

Software Security -- Theories and Systems

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

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Mitsuhiro Okada

    1. Keio University, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Benjamin C. Pierce

    1. University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andre Scedrov

    1. University of Pennsylvania, Philadelphia, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Hideyuki Tokuda

    1. Keio University, Fujisawa, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Akinori Yonezawa

    1. University of Tokyo, Tokyo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ISSS 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

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.

Keywords

Table of contents (26 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Security for Pervasive Computing

    1. Towards Security and Privacy for Pervasive Computing

      • Roy Campbell, Jalal Al-Muhtadi, Prasad Naldurg, Geetanjali Sampemane, M. Dennis Mickunas
      Pages 1-15

    2. Security for Whom? The Shifting Security Assumptions of Pervasive Computing

      • Frank Stajano
      Pages 16-27

    3. Active Authentication for Pervasive Computing Environments

      • Kenta Matsumiya, Soko Aoki, Masana Murase, Hideyuki Tokuda
      Pages 28-41

  3. Security for P2P Systems and Autonomous Distributed Agents

    1. A Survey of Peer-to-Peer Security Issues

      • Dan S. Wallach
      Pages 42-57

    2. Autonomous Nodes and Distributed Mechanisms

      • John C. Mitchell, Vanessa Teague
      Pages 58-83

  4. Privacy Issues

    1. Privacy in Sensor Webs and Distributed Information Systems

      • J.D. Tygar
      Pages 84-95

    2. Negotiated Privacy

      • Stanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov
      Pages 96-111

  5. Secure Software Circulation and Secure C Language

    1. SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation

      • Kazuhiko Kato, Yoshihiro Oyama
      Pages 112-132

    2. Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure Progress Report

      • Yutaka Oiwa, Tatsurou Sekiguchi, Eijiro Sumii, Akinori Yonezawa
      Pages 133-153

  6. Securing Programs by Rewriting and Sandboxing

    1. Types and Effects for Non-interfering Program Monitors

      • Lujo Bauer, Jarred Ligatti, David Walker
      Pages 154-171

    2. Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains

      • Takahiro Shinagawa, Kenji Kono, Takashi Masuda
      Pages 172-184

    3. Enforcing Java Run-Time Properties Using Bytecode Rewriting

      • Algis Rudys, Dan S. Wallach
      Pages 185-200

  7. Secure Mail System Construction

    1. AnZenMail: A Secure and Certified E-mail System

      • Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe
      Pages 201-216

    2. Formalization and Verification of a Mail Server in Coq

      • Reynald Affeldt, Naoki Kobayashi
      Pages 217-233

  8. Some Security Systems

    1. Design and Implementation of Security System Based on Immune System

      • Hiroyuki Nishiyama, Fumio Mizoguchi
      Pages 234-248

    2. Design and Implementation of Access Control System for Smart Office Environment

      • Wataru Yamazaki, Fumio Mizoguchi
      Pages 249-262

  9. Proof-Carrying Code and Type Systems for Security Protocols

    1. Typing One-to-One and One-to-Many Correspondences in Security Protocols

      • Andrew D. Gordon, Alan Jefrey
      Pages 263-282

    2. Proof-Carrying Code with Untrusted Proof Rules

      • George C. Necula, Robert R. Schneck
      Pages 283-298

  10. Authentication Protocols

    1. Verification of Authentication Protocols Based on the Binding Relation

      • Masami Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito
      Pages 299-316
Back to top

Other volumes

  1. Software Security — Theories and Systems

Editors and Affiliations

  • Keio University, Tokyo, Japan

    Mitsuhiro Okada

  • University of Pennsylvania, Philadelphia, USA

    Benjamin C. Pierce, Andre Scedrov

  • Keio University, Fujisawa, Japan

    Hideyuki Tokuda

  • University of Tokyo, Tokyo, Japan

    Akinori Yonezawa

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation