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...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , , , , |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
2609 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
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 |
| LEADER | 05853nam a22005057a 4500 | ||
|---|---|---|---|
| 001 | 948441 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155164678 | ||
| 020 | |a 9783540365327 | ||
| 041 | 0 | |a eng | |
| 082 | |a 005.8 | ||
| 111 | 2 | |a ISSS 2002 |c :Tokyo, Japan). | |
| 245 | 1 | 0 | |a Software security - theories and systems : |b Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8 10, 2002 : revised papers |c [edited by] Mitsuhiro Okada, Benjamin C. Pierce, Andre Scedrov. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2609 |x 1611-3349 | |
| 500 | |a Autres contributeurs : Hideyuki Tokuda, Akinori Yonezawa (éditeurs scientifiques) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Security for Pervasive Computing -- Towards Security and Privacy for Pervasive Computing -- Security for Whom? The Shifting Security Assumptions of Pervasive Computing -- Active Authentication for Pervasive Computing Environments -- Security for P2P Systems and Autonomous Distributed Agents -- A Survey of Peer-to-Peer Security Issues -- Autonomous Nodes and Distributed Mechanisms -- Privacy Issues -- Privacy in Sensor Webs and Distributed Information Systems -- Negotiated Privacy -- Secure Software Circulation and Secure C Language -- SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation -- Fail-Safe ANSI-C Compiler: An Approach to Making C Programs Secure Progress Report -- Securing Programs by Rewriting and Sandboxing -- Types and Effects for Non-interfering Program Monitors -- Flexible and Efficient Sandboxing Based on Fine-Grained Protection Domains -- Enforcing Java Run-Time Properties Using Bytecode Rewriting -- Secure Mail System Construction -- AnZenMail: A Secureand Certified E-mail System -- Formalization and Verification of a Mail Server in Coq -- Some Security Systems -- Design and Implementation of Security System Based on Immune System -- Design and Implementation of Access Control System for Smart Office Environment -- Proof-Carrying Code and Type Systems for Security Protocols -- Typing One-to-One and One-to-Many Correspondences in Security Protocols -- Proof-Carrying Code with Untrusted Proof Rules -- Authentication Protocols -- Verification of Authentication Protocols Based on the Binding Relation -- Hiding Names: Private Authentication in the Applied Pi Calculus -- Environmental Requirements for Authentication Protocols -- Multiset Rewriting for Protocol Analysis -- A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis -- Data Access Specification and the Most Powerful Symbolic Attacker in MSR -- Verification Methods and Tools -- A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic -- Formal Analysis of the iKP Electronic Payment Protocols -- CafeOBJ as a Tool for Behavioral System Verification. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a 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 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Systèmes informatiques |x Mesures de sûreté | ||
| 650 | |a Chiffrement (informatique) | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Okada, Mitsuhiro, |d 1954- |4 pbd | |
| 700 | 1 | |a Pierce, Benjamin C., |d 1963- |4 pbd | |
| 700 | 1 | |a Scedrov, Andre, |d 1955- |4 pbd | |
| 700 | 1 | |a Tokuda, Hideyuki, |d 19..- |4 pbd | |
| 700 | 1 | |a Yonezawa, Akinori, |d 1947- |4 pbd | |
| 710 | 2 | |a National science foundation. |4 orm | |
| 710 | 2 | |a Japan society for the promotion of science. |4 orm | |
| 776 | 0 | |0 070365474 |t Software security |o theories and systems |o Mext-NSF-JSPS international symposium, ISSS 2002 |o Tokyo, Japan, November 8-10, 2002 |o revised papers |f Mitsuhiro Okada, Benjamin Pierce, André Scedrov ... [et al.] (eds.) |d 2003 |c Berlin |n Springer |p 1 vol. (XI-470 p.) |s Lecture notes in computer science |z 3-540-00708-3 | |
| 776 | 0 | |t Software Security -- Theories and Systems |b Texte imprimé |z 9783662183113 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-36532-X |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-X60CVBSL-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:748055843 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-36532-X |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:751507156 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-36532-X |z Accès INSA CVL | |
| 997 | |0 948441 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||