127 search results - page 26 / 26 » Proving Properties of Security Protocols by Induction |
TACAS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
EUROCRYPT
2003
Springer
13 years 10 months ago
2003
Springer
Perfectly secret message transmission can be realized with only partially secret and weakly correlated information shared by the parties as soon as this information allows for the ...