9783540007081-3540007083-Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Lecture Notes in Computer Science, 2609)

Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Lecture Notes in Computer Science, 2609)

ISBN-13: 9783540007081
ISBN-10: 3540007083
Edition: 2003
Author: Benjamin Pierce, Akinori Yonezawa, Hideyuki Tokuda, Mitsuhiro Okada, Andre Scedrov
Publication date: 2003
Publisher: Springer
Format: Paperback 488 pages
FREE US shipping
Buy

From $16.50

Book details

ISBN-13: 9783540007081
ISBN-10: 3540007083
Edition: 2003
Author: Benjamin Pierce, Akinori Yonezawa, Hideyuki Tokuda, Mitsuhiro Okada, Andre Scedrov
Publication date: 2003
Publisher: Springer
Format: Paperback 488 pages

Summary

Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Lecture Notes in Computer Science, 2609) (ISBN-13: 9783540007081 and ISBN-10: 3540007083), written by authors Benjamin Pierce, Akinori Yonezawa, Hideyuki Tokuda, Mitsuhiro Okada, Andre Scedrov, was published by Springer in 2003. With an overall rating of 4.2 stars, it's a notable title among other books. You can easily purchase or rent Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers (Lecture Notes in Computer Science, 2609) (Paperback) from BooksRun, along with many other new and used books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.53.

Description

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.

Rate this book Rate this book

We would LOVE it if you could help us and other readers by reviewing the book