Peter Ryan PhD

The modelling and analysis of security protocols