Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Software Security -- Theories and Systems: Mext-Nsf-Jsps International Symposium, Isss 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers

Pierce, Benjamin
Scedrov, Andre
Okada, Mitsuhiro

Paperback

Series: Lecture Notes in Computer Science, Book 2609

General ComputersOperating SystemsProgramming

ISBN10: 3540007083
ISBN13: 9783540007081
Publisher: Springer
Published: Feb 21 2003
Pages: 476
Weight: 1.57
Height: 1.06 Width: 6.56 Depth: 9.24
Language: English

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.

Also from

Okada, Mitsuhiro

View All

Also in

Operating Systems

View All