Game semantics for the specification and analysis of security protocols