| Document Type
|
:
|
BL
|
| Record Number
|
:
|
960329
|
| Doc. No
|
:
|
b714699
|
| Main Entry
|
:
|
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security(2005 :, Timișoara, Romania)
|
| Title & Author
|
:
|
Verification of infinite-state systems with applications to security /\ edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
|
| Publication Statement
|
:
|
Amsterdam ;Washington, D.C. :: IOS Press,, ©2006.
|
| Series Statement
|
:
|
NATO security through science series. D : Information and communication security ;; vol. 1
|
| Page. NO
|
:
|
1 online resource (vii, 235 pages) :: illustrations.
|
| ISBN
|
:
|
1423797426
|
|
|
:
|
: 1601291272
|
|
|
:
|
: 1607501473
|
|
|
:
|
: 9781423797425
|
|
|
:
|
: 9781601291271
|
|
|
:
|
: 9781607501473
|
|
|
:
|
1586035703
|
|
|
:
|
9781586035709
|
| Notes
|
:
|
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and author index.
|
| 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.
|
| Abstract
|
:
|
Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop.
|
| Subject
|
:
|
Computer security, Congresses.
|
| Subject
|
:
|
Computer software-- Verification, Congresses.
|
| Subject
|
:
|
System theory-- Mathematical models, Congresses.
|
| Subject
|
:
|
System theory-- Security measures, Congresses.
|
| Subject
|
:
|
Computer security.
|
| Subject
|
:
|
Computer software-- Verification.
|
| Subject
|
:
|
COMPUTERS-- Internet-- Security.
|
| Subject
|
:
|
COMPUTERS-- Networking-- Security.
|
| Subject
|
:
|
COMPUTERS-- Security-- General.
|
| Subject
|
:
|
System theory-- Mathematical models.
|
| Dewey Classification
|
:
|
005.8
|
| LC Classification
|
:
|
Q295.N38 2005eb
|
| Added Entry
|
:
|
Clarke, Edmund M.,Jr., (Edmund Melson),1945-
|
|
|
:
|
Minea, Marius.
|
|
|
:
|
Ţiplea, Ferucio Laurenţiu.
|