VISSAS 2005:
Timisoara,
Romania
Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea (Eds.):
Verification of Infinite-State Systems with Applications to Security, Proceedings of the NATO Advanced Research Workshop "Verification of Infinite State Systems with Applications to Security VISSAS 2005", Timisoara, Romania, March 17-22, 2005.
NATO Security through Science Series D: Information and Communication Security 1 IOS Press 2006, ISBN 1-58603-570-3 BibTeX
- Bernard Boigelot:
Number-Set Representations for Infinite-State Verification.
1-16 BibTeX
- Ahmed Bouajjani:
Regular Model Checking for Programs with Dynamic Memory.
17-22 BibTeX
- Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn:
Automatic Verification of Security Properties Based on Abstractions.
23-53 BibTeX
- Edmund M. Clarke, Himanshu Jain, Nishant Sinha:
Grand Challenge: Model Check Software.
55-68 BibTeX
- Catalin Dima:
A Class of Automata for Computing Reachability Relations in Timed Systems.
69-89 BibTeX
- Michael Fisher, Boris Konev, Alexei Lisitsa:
Practical Infinite-State Verification with Temporal Reasoning.
91-100 BibTeX
- Dan C. Marinescu, Gabriela M. Marinescu:
Quantum States and Quantum Measurements.
101-126 BibTeX
- Doron Peled:
Automatic Test Generation and Monitoring of Infinite States Systems.
127-142 BibTeX
- René Peralta:
Cryptographic Primitives Can Be Fragile.
143-148 BibTeX
- Marko Samer, Helmut Veith:
From Temporal Logic Queries to Vacuity Detection.
149-167 BibTeX
- Anatol Slissenko:
Probability and Time in Measuring Security.
169-183 BibTeX
- Ferucio Laurentiu Tiplea, Constantin Enea, Catalin V. Birjoveanu:
Decidability and Complexity Results for Security Protocols.
185-211 BibTeX
- Tayssir Touili:
Dealing with Communication for Dynamic Multithreaded Recursive Programs.
213-227 BibTeX
- Jeannette M. Wing:
Scenario Graphs Applied to Security (Extended Abstract).
229-234 BibTeX
Copyright © Sat May 16 23:44:40 2009
by Michael Ley (ley@uni-trier.de)
