109
Voted
IFIP
2009
Springer
15 years 14 days ago
2009
Springer
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...