293 search results - page 33 / 59 » Formal Security Analysis with Interacting State Machines |
CCS
2006
ACM
13 years 11 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Over the past two decades, Gurevich and his colleagues have developed axiomatic foundations for the notion of algorithm, be it classical, interactive, or parallel, and formalized t...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...
APN
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
–This paper presents a novel affect-sensitive human-robot interaction framework for rehabilitation of children with autism spectrum disorder (ASD). The overall aim is to enable t...