Philippa J. Broadfoot

Publication Activity (10 Years)

Years Active: 1999-2004
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Philippa J. Broadfoot, A. W. Roscoe
Embedding agents within the intruder to detect parallel attacks. J. Comput. Secur. 12 (3-4) (2004)
Roberto Alfieri, Roberto Cecchini, Vincenzo Ciaschini, Luca dell'Agnello, Alberto Gianoli, Fabio Spataro, Franck Bonnassieux, Philippa J. Broadfoot, Gavin Lowe, Linda Cornwall, Jens Jensen, David P. Kelsey, Ákos Frohner, David L. Groep, Wim Som de Cerff, Martijn Steenbakkers, Gerben Venekamp, Daniel Kouril, Andrew McNab, Olle Mulmo, Mika Silander, Joni Hahkala, Károly Lörentey
Managing Dynamic User Communities in a Grid of Autonomous Resources CoRR (2003)
Philippa J. Broadfoot, Gavin Lowe
On Distributed Security Transactions that Use Secure Transport Protocols. CSFW (2003)
Guy H. Broadfoot, Philippa J. Broadfoot
Academia and industry meet: Some experiences of formal methods in practice. APSEC (2003)
Philippa J. Broadfoot, Gavin Lowe
Analysing a Stream Authentication Protocol Using Model Checking. ESORICS (2002)
Philippa J. Broadfoot, A. W. Roscoe
Capturing Parallel Attacks within the Data Independence Framework. CSFW (2002)
Philippa J. Broadfoot, A. W. Roscoe
Tutorial on FDR and Its Applications. SPIN (2000)
Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe
Automating Data Independence. ESORICS (2000)
A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe
Data independent verification of crypto-protocols. Electron. Notes Theor. Comput. Sci. 40 (2000)
A. W. Roscoe, Philippa J. Broadfoot
Proving Security Protocols with Model Checkers by Data Independence Techniques. J. Comput. Secur. 7 (1) (1999)

Philippa J. Broadfoot.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Philippa J. Broadfoot