54 search results - page 10 / 11 » Improving Automatic Verification of Security Protocols with ... |
JCS
2006
13 years 5 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
JMM2
2006
13 years 5 months ago
2006
Abstract-- In general automatic face classification applications images are captured in natural environments. In these cases, the performance is affected by variations in facial im...
COST
2009
Springer
13 years 12 months ago
2009
Springer
Nowadays biometrics becomes an important field in IT security, safety and comfort research for automotive. Aims are automatic driver authentication or recognition of spoken command...
POPL
2002
ACM
14 years 5 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Hash tables are fundamental data structures that optimally answer membership queries. Suppose a client stores n elements in a hash table that is outsourced at a remote server so t...