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