3 search results - page 1 / 1 » Flat and One-Variable Clauses for Single Blind Copying Proto... |
63
Voted
RTA
2009
Springer
15 years 2 months ago
2009
Springer
66
Voted
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
We consider secrecy problems for cryptographic protocols modeled using Horn clauses and present general classes of Horn clauses which can be efficiently decided. Besides simplifyin...
98
Voted
TOCL
2008
14 years 9 months ago
2008
Cryptographic protocols with single blind copying were defined and modeled by Comon and Cortier using the new class C of first order clauses, which extends the Skolem class. They s...