Software Security - Theories and Systems

Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003

AvKokichi Futatsugi,Fumio Mizoguchi

Häftad, Engelska, 2004

Del i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the thoroughly refereed post-proceedings of the Second Mext-NSF-JSPS Interntional Symposium on Software Security, ISSS 2003, held in Tokyo, Japan in November 2003.The 18 revised full invited and selected papers presented were carefully reviewed and improved for inclusion in the book. The papers are organized in topical sections on analysis of protocols and cryptography, verification of security properties, safe implementation of programming languages, secure execution environments, and secure systems and security management.

Produktinformation

Utgivningsdatum:2004-10-15
Mått:155 x 235 x 20 mm
Vikt:546 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:352
Upplaga:2004
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540236351

Utforska kategorier

Affärsapplikationer inom Data och IT

Innehållsförteckning

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.