Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Normal view MARC view ISBD view

Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Lauren�tiu �Tiplea.

By: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 : Timi�soara, Romania).
Contributor(s): Clarke, Edmund | Minea, Marius | �Tiplea, Ferucio Lauren�tiu.
Material type: TextTextSeries: NATO security through science seriesDInformation and communication security: vol. 1.Publisher: Amsterdam ; Washington, D.C. : IOS Press, c2006Description: 1 online resource (vii, 235 p.) : ill.ISBN: 1423797426 (electronic bk.); 9781423797425 (electronic bk.); 1601291272; 9781601291271; 9781607501473; 1607501473.Subject(s): System theory -- Mathematical models -- Congresses | System theory -- Security measures -- Congresses | Computer security -- Congresses | Computer software -- Verification -- Congresses | System theory -- Mathematical models | System theory -- Security measures | Computer security | Computer software -- Verification | Electronic books | COMPUTERS -- Internet -- Security | COMPUTERS -- Networking -- Security | COMPUTERS -- Security -- General | Infinite-state systems | Security | VISSASGenre/Form: Electronic books.Additional physical formats: Print version:: Verification of infinite-state systems with applications to security.DDC classification: 005.8 Online resources: EBSCOhost
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.
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

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

Includes bibliographical references and author index.

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.

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.

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter