Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.

Format:

Book

Conference/Event

Contributor:

Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020.

Minea, Marius.

Ţiplea, Ferucio Laurenţiu.

Conference Name:

NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania)

NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)

Series:

NATO security through science series. Information and communication security ; D, v. 1.

NATO security through science series. D, Information and communication security ; vol. 1

Language:

English

Subjects (All):

System theory--Mathematical models--Congresses.

System theory.

System theory--Security measures--Congresses.

Computer security--Congresses.

Computer security.

Computer software--Verification--Congresses.

Computer software.

Physical Description:

1 online resource (244 p.)

Edition:

1st ed.

Place of Publication:

Amsterdam ; Washington, D.C. : IOS Press, c2006.

Language Note:

English

Summary:

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.

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

From Temporal Logic Queries to Vacuity DetectionProbability and Time in Measuring Security; Decidability and Complexity Results for Security Protocols; Dealing with Communication for Dynamic Multithreaded Recursive Programs; Scenario Graphs Applied to Security (Extended Abstract); Author Index

Notes:

Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005.

Includes bibliographical references and author index.

ISBN:

6610505101

1-280-50510-9

9786610505104

1-4237-9742-6

1-60750-147-3

600-00-0603-9

1-60129-127-2

OCLC:

191037906