4 search results - page 1 / 1 » A decision procedure for the verification of security protoc... |
CCS
2004
ACM
13 years 10 months ago
2004
ACM
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 ...
CSFW
2000
IEEE
13 years 8 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
RTA
2009
Springer
13 years 11 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...