Software Security - Theories and Systems
Download or Read eBook Software Security - Theories and Systems PDF written by Kokichi Futatsugi and published by Springer Science & Business Media. This book was released on 2004-10-15 with total page 353 pages. Available in PDF, EPUB and Kindle.
| Author | : Kokichi Futatsugi |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 353 |
| Release | : 2004-10-15 |
| ISBN-10 | : 9783540236351 |
| ISBN-13 | : 354023635X |
| Rating | : 4/5 (51 Downloads) |
Book Synopsis Software Security - Theories and Systems by : Kokichi Futatsugi
Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the Second Mext-NSF-JSPS Interntional Symposium on Software Security, ISSS 2003, held in Tokyo, Japan in November 2003. The 18 revised full invited and selected papers presented were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on analysis of protocols and cryptography, verification of security properties, safe implementation of programming languages, secure execution environments, and secure systems and security management.
