Software Security - Theories and Systems Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Futatsugi, Kokichi (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Mizoguchi, Fumio (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Yonezaki, Naoki (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Έκδοση: 1st ed. 2004.
• Σειρά: Lecture Notes in Computer Science, 3233
• Θέματα: Application software.; Computer communication systems.; Operating systems (Computers).; Data encryption (Computer science).; Programming languages (Electronic computers).; Computers.; Computer Applications.; Computer Communication Networks.; Operating Systems.; Cryptology.; Programming Languages, Compilers, Interpreters.; Theory of Computation.

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...

Πίνακας περιεχομένων:

• 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.