Phillip J. Brooke

Publication Activity (10 Years)

Years Active: 2000-2017
Publications (10 Years): 1

Top Topics

Browsing Experience

Operational Semantics

Top Venues

Security Protocols Workshop

Formal Aspects Comput.

Publications

João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke
Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. IFM (2017)
Phillip J. Brooke, Richard F. Paige
User-visible cryptography in email and web scenarios. Inf. Comput. Secur. 23 (1) (2015)
Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. 27 (1) (2015)
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
Linking the Semantics of BPEL Using Maude. APSEC (1) (2013)
Phillip J. Brooke, Richard F. Paige
The Value of User-Visible Internet Cryptography CoRR (2013)
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ICECCS (2013)
Phillip J. Brooke, Richard F. Paige, Christopher Power
Approaches to Modelling Security Scenarios with Domain-Specific Languages. Security Protocols Workshop (2012)
Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding
Revealing Complexity through Domain-Specific Modelling and Analysis. Monterey Workshop (2012)
Phillip J. Brooke
Approaches to Modelling Security Scenarios with Domain-Specific Languages(Transcript of Discussion). Security Protocols Workshop (2012)
HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser
Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. IFM (2012)
Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
High-integrity agile processes for the development of safety critical software. Int. J. Crit. Comput. Based Syst. 2 (2) (2011)
Phillip J. Brooke, Richard F. Paige, Christopher Power
Document-centric XML workflows with fragment digital signatures. Softw. Pract. Exp. 40 (8) (2010)
Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock
Editorial. Formal Aspects Comput. 21 (4) (2009)
Phillip J. Brooke, Richard F. Paige
Cameo: an alternative model of concurrency for Eiffel. Formal Aspects Comput. 21 (4) (2009)
Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke
Friend-assisted intrusion detection and response mechanisms for mobile ad hoc networks. Ad Hoc Networks 6 (7) (2008)
Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke
FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS (Workshops) (2008)
Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
Towards Agile Engineering of High-Integrity Systems. SAFECOMP (2008)
C. J. Tucker, Steven Furnell, Bogdan V. Ghita, Phillip J. Brooke
A new taxonomy for comparing intrusion detection systems. Internet Res. 17 (1) (2007)
Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob
A CSP model of Eiffel's SCOOP. Formal Aspects Comput. 19 (4) (2007)
Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke
Extreme Programming Security Practices. XP (2007)
Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers
A Novel Approach to the Detection of Cheating in Multiplayer Online Games. ICECCS (2007)
Phillip J. Brooke, Richard F. Paige
Lazy Exploration and Checking of CSP Models with CSPsim. CPA (2007)
Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16 (3) (2007)
Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke
Building a Trusted Community for Mobile Ad Hoc Networks Using Friend Recommendation. ADHOC-NOW (2007)
Phillip J. Brooke, Richard F. Paige
Exceptions in Concurrent Eiffel. J. Object Technol. 6 (10) (2007)
Richard F. Paige, Triston S. Attridge, Phillip J. Brooke
Game Development Using Design-by-Contract. J. Object Technol. 5 (7) (2006)
Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke
A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks - A Friend Approach. ISI (2006)
Emine Gokce Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke
Security Planning and Refactoring in Extreme Programming. XP (2006)
George Magklaras, Steven Furnell, Phillip J. Brooke
Towards an insider threat prediction specification language. Inf. Manag. Comput. Secur. 14 (4) (2006)
Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke
Agile development of secure web applications. ICWE (2006)
Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke
Towards an Agile Process for Building Software Product Lines. XP (2006)
Richard F. Paige, Phillip J. Brooke
Agile Formal Method Engineering. IFM (2005)
Shukor Abd Razak, Steven Furnell, Phillip J. Brooke
A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks. ECIW (2005)
Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke
E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. J. Object Technol. 4 (7) (2005)
Richard F. Paige, Phillip J. Brooke
Integrating BON and Object-Z. J. Object Technol. 3 (3) (2004)
Phillip J. Brooke, Richard F. Paige, John A. Clark, Susan Stepney
Playing the game: cheating, loopholes, and virtual identity. SIGCAS Comput. Soc. 34 (2) (2004)
Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke
Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP (2003)
Phillip J. Brooke, Richard F. Paige
Fault trees for security system design and analysis. Comput. Secur. 22 (3) (2003)
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke
Theorem Proving Support for View Consistency Checking. Obj. Logiciel Base données Réseaux 9 (4) (2003)
Phillip J. Brooke, Richard F. Paige
The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM (2002)
Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke
Principles for modeling language design. Inf. Softw. Technol. 42 (10) (2000)