عنوان
پدید آورنده
موضوع
رده
Q295 .N38 2005eb
Q295
.
N38
2005eb
کتابخانه
محل استقرار
1423797426
1601291272
1607501473
9781423797425
9781601291271
9781607501473
1586035703
9781586035709
b714699
Verification of infinite-state systems with applications to security /
[Book]
edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
Washington, D.C. :
IOS Press,
©2006.
1 online resource (vii, 235 pages) :
illustrations.
NATO security through science series. D : Information and communication security ;
vol. 1
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.
0
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.
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.
IOS Press
978-1-58603-570-9
Verification of infinite-state systems with applications to security.
1586035703
Computer security, Congresses.
Computer software-- Verification, Congresses.
System theory-- Mathematical models, Congresses.
System theory-- Security measures, Congresses.
Computer security.
Computer software-- Verification.
COMPUTERS-- Internet-- Security.
COMPUTERS-- Networking-- Security.
COMPUTERS-- Security-- General.
System theory-- Mathematical models.
COM-- COM014000
005
.
8
22
Q295
.
N38
2005eb
Clarke, Edmund M.,Jr., (Edmund Melson),1945-
Minea, Marius.
Ţiplea, Ferucio Laurenţiu.
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security(2005 :, Timișoara, Romania)
20201208045823.0
pn
مطالعه متن کتاب [Book]
Y
