Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
Material type:
TextSeries: NATO security through science series. D, Information and communication security ; ; vol. 1.Publication details: Amsterdam ; Washington, D.C. : IOS Press, ©2006.Description: 1 online resource (vii, 235 pages) : illustrationsContent type: - text
- computer
- online resource
- 1423797426
- 9781423797425
- 1601291272
- 9781601291271
- 9781607501473
- 1607501473
- System theory -- Mathematical models -- Congresses
- System theory -- Security measures -- Congresses
- Computer security -- Congresses
- Computer software -- Verification -- Congresses
- Théorie des systèmes -- Modèles mathématiques -- Congrès
- Théorie des systèmes -- Sécurité -- Mesures -- Congrès
- Sécurité informatique -- Congrès
- Logiciels -- Vérification -- Congrès
- COMPUTERS -- Internet -- Security
- COMPUTERS -- Networking -- Security
- COMPUTERS -- Security -- General
- Computer security
- Computer software -- Verification
- System theory -- Mathematical models
- Infinite-state systems
- Security
- VISSAS
- 005.8 22
- Q295 .N38 2005eb
- digitized 2010 HathiTrust Digital Library committed to preserve
| Item type | Home library | Collection | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Electronic-Books
|
OPJGU Sonepat- Campus | E-Books EBSCO | Available |
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, 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.
Print version record.
Use copy Restrictions unspecified star MiAaHDL
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. MiAaHDL
http://purl.oclc.org/DLF/benchrepro0212
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide
There are no comments on this title.