752 search results - page 39 / 151 » Abstract models for dialogue protocols |
116
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
164
click to vote
WOLLIC
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. The intruder deduction problem for an electronic purse protocol with blind signatures is considered. The algebraic properties of the protocol are modeled by an equational...
168
click to vote
GCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...
129
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
139
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...