140
click to vote
FSTTCS
2007
Springer
16 years 1 days 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 ...