117
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...