77
Voted
IEEEARES
2010
IEEE
15 years 4 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...