Software security - theories and systems : 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...
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , , , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colecção: | Lecture notes in computer science
2609 |
| Assuntos: | |
| Acesso em linha: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Autres contributeurs : Hideyuki Tokuda, Akinori Yonezawa (éditeurs scientifiques) Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Software security, theories and systems, Mext-NSF-JSPS international symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, revised papers, Mitsuhiro Okada, Benjamin Pierce, André Scedrov ... [et al.] (eds.), 2003, Berlin, Springer, 1 vol. (XI-470 p.), Lecture notes in computer science, 3-540-00708-3 • Software Security -- Theories and Systems, Texte imprimé, 9783662183113 |
| Resumo: | 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. |
|---|---|
| Descrição do item: | Autres contributeurs : Hideyuki Tokuda, Akinori Yonezawa (éditeurs scientifiques) Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| ISBN: | 9783540365327 |
| ISSN: | 1611-3349 |
| Acesso: | Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 |