127 search results - page 26 / 26 » Proving Properties of Security Protocols by Induction |
TACAS
2004
Springer
14 years 4 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
14 years 4 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 ...