150
Voted
IEEEARES
2010
IEEE
16 years 2 days 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...