6 search results - page 2 / 2 » Computationally Sound Symbolic Secrecy in the Presence of Ha... |
CORR
2006
Springer
13 years 4 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...