106
click to vote
FSTTCS
2009
Springer
15 years 9 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...