Table of Contents: Verification of infinite-state systems with applications to security /

Corporate Author:	NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania)
Other Authors:	Minea, Marius.
Format:	Book
Language:	English
Published:	Amsterdam ; Washington, D.C. : IOS Press, ©2006.
Series:	NATO security through science series. D : Information and communication security ; vol. 1
Subjects:	System theory > Mathematical models System theory > Security measures Computer security Computer software > Verification System theory > Mathematical models. System theory > Security measures. Computer security. Computer software > Verification. COMPUTERS > Internet > Security. COMPUTERS > Networking > Security. COMPUTERS > Security
Online Access:	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059

Table of Contents:

Title page; Preface; Committees; Contents; Number-Set Representations for Infinite-State Verification; Regular Model Checking for Programs with Dynamic Memory; Automatic Verification of Security Properties Based on Abstractions; Grand Challenge: Model Check Software; A Class of Automata for Computing Reachability Relations in Timed Systems; Practical Infinite-State Verification with Temporal Reasoning; Quantum States and Quantum Measurements; Automatic Test Generation and Monitoring of Infinite States Systems; Cryptographic Primitives Can Be Fragile.