Software security : Theories and systems : Second Mext-NSF-JSPS international symposium, ISSS 2003 : Tokyo, Japan, november 4-6, 2003 : revised papers
Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4 6, 2003. This volume is the collection of the papers that were presented at ISSS 2...
Enregistré dans:
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Andre forfattere: | , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
3233 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
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, Second Mext-NSF-JSPS international symposium, ISSS 2003, Tokyo, Japan, november 4-6, 2003, revised papers, Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (Eds.), Berlin, Springer, 2004, 1 vol. (VIII-344 p.), Lecture notes in computer science, 3-540-23635-X • Software Security - Theories and Systems, Texte imprimé, 9783662196137 |
| LEADER | 05655nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 973183 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155236628 | ||
| 020 | |a 9783540376217 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Futatsugi, Kokichi. | |
| 245 | 1 | 0 | |a Software security : |b Theories and systems : Second Mext-NSF-JSPS international symposium, ISSS 2003 : Tokyo, Japan, november 4-6, 2003 : revised papers |c [edited by] Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3233 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 1: Analysis of Protocols and Cryptography -- Verifying Confidentiality and Authentication in Kerberos 5 -- A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack -- Formal Analysis of the NetBill Electronic Commerce Protocol -- Inferences on Honesty in Compositional Logic for Protocol Analysis -- A Formal System for Analysis of Cryptographic Encryption and Their Security Properties -- 2: Verification of Security Properties -- Formal Specification and Verification of Resource Bound Security Using PVS -- Java Program Verification at Nijmegen: Developments and Perspective -- Decision Procedures for Several Properties of Reactive System Specifications -- A Model for Delimited Information Release -- 3: Safe Implementation of Programming Languages -- The Interface Definition Language for Fail-Safe C -- Lightweight Wrappers for Interfacing with Binary Code in CCured -- 4: Secure Execution Environments -- Detecting Unknown Computer Viruses A New Approach -- Security Policy Descriptions Through the Use of Control Structure of a Target Program -- Securing RPC with a Reference Monitor for System Calls -- UML Scrapbook and Realization of Snapshot Programming Environment -- 5: Secure Systems and Security Management -- Managing Information Technology Security Risk -- SEAS: A Secure E-Voting Applet System -- The Design of a Secure Distributed Devices System Based on Immunity. | |
| 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 Following the success of the International Symposium on Software Security 2002 (ISSS 2002), held in Keio University, Tokyo, November, 2002, ISSS 2003 was held in the Tokyo Institute of Technology, Tokyo, on November 4 6, 2003. This volume is the collection of the papers that were presented at ISSS 2003. The proceedings of ISSS 2002 was published as LNCS 2609. Although the security and reliability of software systems for networked c- puter systems are major concerns of current society, the technology for software securitystillneedstobedevelopedinmanydirections.SimilartoISSS2002,ISSS 2003 aimed to provide a forum for research discussions and exchanges among world-leading scientists in the ?elds of both theoretical and systems aspects of security in software construction. The program of ISSS 2003 was a combination of invited talks and selected research contributions. It included the most recent visions and researches of the 9invitedspeakers,aswellas11contributionsofresearchesfundedbytheMEXT grant-in-aid for scienti?c research on the priority area Implementation Scheme for Secure Computing (AnZenKaken). We collected the original contributions after their presentation at the symposium and began a review procedure that resulted in the selection of the papers in this volume. They appear here in ?nal form. ISSS 2003 required a lot of work that was heavily dependent on members of the program committee, and sta?s and graduate students who participated in AnZenKaken. We sincerely thank them for their e?orts and time. | ||
| 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 Ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Yonezaki, Naoki. |4 pbd | |
| 700 | 1 | |a Mizoguchi, Fumio, |d 1941- |4 pbd | |
| 711 | 2 | |a International Symposium on Software Security |n (2 |d :2003 |c :Tokyo, JP). |4 aut | |
| 776 | 0 | |0 082099863 |t Software security |o Theories and systems |o Second Mext-NSF-JSPS international symposium, ISSS 2003 |o Tokyo, Japan, november 4-6, 2003 |o revised papers |f Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki (Eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (VIII-344 p.) |s Lecture notes in computer science |z 3-540-23635-X | |
| 776 | 0 | |t Software Security - Theories and Systems |b Texte imprimé |z 9783662196137 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b102118 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-2W3LBHQ8-7 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750628650 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b102118 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75398556X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b102118 |z Accès INSA CVL | |
| 997 | |0 973183 |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/ | ||