Bill Roscoe · 3 obras en el catálogoObrasThe modelling and analysis of security protocols2001Formal Methods : Foundations and ApplicationsFormal Methods