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...
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| その他の著者: | , |
| フォーマット: | Livre numérique |
| 言語: | Anglais |
| 出版事項: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| シリーズ: | Lecture notes in computer science
3233 |
| 主題: | |
| オンライン･アクセス: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 注記: |
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 |
目次:
- 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.