Philippa J. Hopcroft (Selection)

Philippa J. Broadfoot

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

11 Philippa J. Hopcroft, Gavin Lowe: Analysing a stream authentication protocol using model checking. Int. J. Inf. Sec. 3(1): 2-13 (2004)

8 Philippa J. Broadfoot, Gavin Lowe: On Distributed Security Transactions that Use Secure Transport Protocols. CSFW 2003: 141-

7 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 cs.DC/0306004: (2003)

5 Philippa J. Broadfoot, Gavin Lowe: Analysing a Stream Authentication Protocol Using Model Checking. ESORICS 2002: 146-161

4 Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe: Automating Data Independence. ESORICS 2000: 175-190

2 A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe: Data independent verification of crypto-protocols. Electr. Notes Theor. Comput. Sci. 40: 359 (2000)

Selection of 6 from 13 records - Philippa J. Hopcroft has 24 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

11		Philippa J. Hopcroft, Gavin Lowe: Analysing a stream authentication protocol using model checking. Int. J. Inf. Sec. 3(1): 2-13 (2004)
8		Philippa J. Broadfoot, Gavin Lowe: On Distributed Security Transactions that Use Secure Transport Protocols. CSFW 2003: 141-
7		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 cs.DC/0306004: (2003)
5		Philippa J. Broadfoot, Gavin Lowe: Analysing a Stream Authentication Protocol Using Model Checking. ESORICS 2002: 146-161
4		Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe: Automating Data Independence. ESORICS 2000: 175-190
2		A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe: Data independent verification of crypto-protocols. Electr. Notes Theor. Comput. Sci. 40: 359 (2000)