Software Security - Theories and Systems

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

Häftad, Engelska, 2004

Av Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki

729 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2004-10-15
Mått155 x 235 x 20 mm
Vikt546 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor352
Upplaga2004
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540236351

Tillhör följande kategorier

Referensverk och tvärvetenskap inom Samhalle och politik
Hårdvara inom Data och it
Operativsystem inom Data och it
Programmeringsböcker inom Data och it
IT-säkerhet inom Data och it
Tillämpad datateknik inom Data och it
Systemvetenskap och AI inom Data och it
Affärsapplikationer inom Data och it

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.