W. Mao is an author at University of Manchester specializing in formal verification, data security, and automated reasoning.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceSecurity ProtocolsAutomated ReasoningFormal VerificationFormal Specification
Publications per year
2002–2002
1
1
Towards formal analysis of security protocols
W. Mao, Colin Boyd · 2002 · 124 citations
Rows per page
1–1 of 1