27 search results - page 1 / 6 » Regular Protocols and Attacks with Regular Knowledge |
CADE
2005
Springer
14 years 6 months ago
2005
Springer
We prove that, if the initial knowledge of the intruder is given by a deterministic bottom-up tree automaton, then the insecurity problem for cryptographic protocols with atomic ke...
FASE
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
WETICE
1998
IEEE
13 years 10 months ago
1998
IEEE
This paper discusses the practical issues that arise when securing the access to the World Wide Web (WWW). A brief overview of the different protocols that are proposed to secure ...
TCS
2002
13 years 5 months ago
2002
Suppose a principal in a cryptographic protocol creates and transmits a message containing a new value v, later receiving v back in a different cryptographic context. It can concl...
EUROMICRO
2004
IEEE
13 years 9 months ago
2004
IEEE
Ad hoc networks are subject of many recent research efforts. Especially in mobile scenarios, self-organizing networks are of high interest. While the routing aspects of mobile ad ...