Description |
1 online resource (vii, 235 pages) : illustrations. |
Physical Medium |
polychrome |
Description |
text file |
Series |
NATO security through science series. D : Information and communication security ; vol. 1
|
|
NATO security through science series. D, Information and communication security ; vol. 1.
|
Note |
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. |
Bibliography |
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. |
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. |
Access |
Use copy Restrictions unspecified MiAaHDL |
Reproduction |
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL |
System Details |
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. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
Processing Action |
digitized 2010 HathiTrust Digital Library committed to preserve MiAaHDL |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
System theory -- Mathematical models -- Congresses.
|
|
System theory -- Mathematical models. |
|
System theory. |
|
System theory -- Security measures -- Congresses.
|
|
Security systems. |
|
Computer security -- Congresses.
|
|
Computer security. |
|
Computer software -- Verification -- Congresses.
|
|
Computer software -- Verification. |
Indexed Term |
Infinite-state systems |
|
Security |
|
VISSAS |
Genre/Form |
Electronic books.
|
|
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
Added Author |
Clarke, Edmund M., Jr. (Edmund Melson), 1945-2020.
|
|
Minea, Marius.
|
|
Ţiplea, Ferucio Laurenţiu.
|
Other Form: |
Print version: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 Mar. 17-22 : Timaşoara, Romania). Verification of infinite-state systems with applications to security. Amsterdam ; Washington, D.C. : IOS Press, ©2006 1586035703 (DLC) 2005937272 (OCoLC)65661588 |
ISBN |
1423797426 (electronic book) |
|
9781423797425 (electronic book) |
|
1601291272 |
|
9781601291271 |
|
9781607501473 |
|
1607501473 |
|
1586035703 (cloth) |
|
9781586035709 |
|