Software Security - Theories and Systems
Editat de Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezakien Limba Engleză Paperback – 15 oct 2004
Preț: 325.25 lei
Preț vechi: 406.56 lei
-20%
Puncte Express: 488
Carte tipărită la comandă
Livrare economică 08-22 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540236351
ISBN-10: 354023635X
Pagini: 360
Ilustrații: VIII, 352 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354023635X
Pagini: 360
Ilustrații: VIII, 352 p.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.