Software Security — Theories and Systems [electronic resource] : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers /
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.
Saved in:
Main Authors: | Okada, Mitsuhiro. editor., Pierce, Benjamin C. editor., Scedrov, Andre. editor., Tokuda, Hideyuki. editor., Yonezawa, Akinori. editor., SpringerLink (Online service) |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2003
|
Subjects: | Computer science., Computer communication systems., Programming languages (Electronic computers)., Operating systems (Computers)., Data encryption (Computer science)., Computer logic., Management information systems., Computer Science., Data Encryption., Operating Systems., Computer Communication Networks., Programming Languages, Compilers, Interpreters., Logics and Meanings of Programs., Management of Computing and Information Systems., |
Online Access: | http://dx.doi.org/10.1007/3-540-36532-X |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Software Security — Theories and Systems [electronic resource] : Mext-NSF-JSPS International Symposium, ISSS 2002 Tokyo, Japan, November 8–10, 2002 Revised Papers /
by: Okada, Mitsuhiro. editor., et al.
Published: (2003) -
Software Security - Theories and Systems [electronic resource] : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers /
by: Futatsugi, Kokichi. editor., et al.
Published: (2004) -
Software Security - Theories and Systems [electronic resource] : Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers /
by: Futatsugi, Kokichi. editor., et al.
Published: (2004) -
Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures /
by: Focardi, Riccardo. editor., et al.
Published: (2001) -
Foundations of Security Analysis and Design [electronic resource] : Tutorial Lectures /
by: Focardi, Riccardo. editor., et al.
Published: (2001)