Cover Image

Verification of infinite-state systems with applications to security /

Corporate Author: NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timișoara, Romania)
Other Authors: Minea, Marius.
Format: Book
Language:English
Published: Amsterdam ; Washington, D.C. : IOS Press, ©2006.
Series:NATO security through science series. D : Information and communication security ; vol. 1
Subjects:
System theory > Mathematical models
System theory > Security measures
Computer security
Computer software > Verification
System theory > Mathematical models.
System theory > Security measures.
Computer security.
Computer software > Verification.
COMPUTERS > Internet > Security.
COMPUTERS > Networking > Security.
COMPUTERS > Security
Online Access:http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059
LEADER 02558nam a2200421 a 4500
001 1904233
005 20171111234739.0
008 060905s2006 ne a ob 101 0 eng d
020 |a 1423797426  |q (electronic bk.) 
020 |a 9781423797425  |q (electronic bk.) 
020 |a 1601291272 
020 |a 9781601291271 
020 |a 9781607501473 
020 |a 1607501473  |q (cloth)  |z 1586035703 
040 |a N$T  |b eng  |e pn  |z 9781586035709 
050 4 |a Q295  |b .N38 2005eb 
111 2 |a NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security  |c Timișoara, Romania)  |d (2005 : 
245 1 0 |a Verification of infinite-state systems with applications to security /  |c edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. 
260 |a Amsterdam ;  |b IOS Press,  |c ©2006.  |a Washington, D.C. : 
300 |a 1 online resource (vii, 235 pages) :  |b illustrations. 
490 1 |a NATO security through science series. D : Information and communication security ;  |v vol. 1 
500 |a Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005. 
504 |a Includes bibliographical references and author index. 
505 0 |a 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. 
650 0 |a System theory  |x Mathematical models 
650 0 |a System theory  |x Security measures 
650 0 |a Computer security 
650 0 |a Computer software  |x Verification 
650 4 |a System theory  |x Mathematical models. 
650 4 |a System theory  |x Security measures. 
650 4 |a Computer security. 
650 4 |a Computer software  |x Verification. 
650 7 |a COMPUTERS  |x Internet  |x Security. 
650 7 |a COMPUTERS  |x Networking  |x Security. 
650 7 |a COMPUTERS  |x Security 
700 1 |a Minea, Marius.  |x General. 
856 4 0 |a Ţiplea, Ferucio Laurenţiu.  |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164059 
952 |a CY-NiOUC  |b 5a04665b6c5ad14ac1eeeb87  |c 998a  |d 945l  |e -  |t 1  |x m  |z Books 

Similar Items