Phillip J. Brooke

According to our database, Phillip J. Brooke authored at least 43 papers between 2000 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules.

João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2015

User-visible cryptography in email and web scenarios.

Phillip J. Brooke, Richard F. Paige

Inf. Comput. Secur., 2015

Denotational semantics and its algebraic derivation for an event-driven system-level language.

Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke

Formal Aspects Comput., 2015

2013

The Value of User-Visible Internet Cryptography

Phillip J. Brooke, Richard F. Paige

CoRR, 2013

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.

Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Linking the Semantics of BPEL Using Maude.

Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Approaches to Modelling Security Scenarios with Domain-Specific Languages.

Phillip J. Brooke, Richard F. Paige, Christopher Power

Proceedings of the Security Protocols XX, 2012

Approaches to Modelling Security Scenarios with Domain-Specific Languages(Transcript of Discussion).

Phillip J. Brooke

Proceedings of the Security Protocols XX, 2012

Revealing Complexity through Domain-Specific Modelling and Analysis.

Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Behaviour-Based Cheat Detection in Multiplayer Games with Event-B.

HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

High-integrity agile processes for the development of safety critical software.

Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke

Int. J. Crit. Comput. Based Syst., 2011

2010

Programming Phase: Formal Methods.

Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti

Proceedings of the Encyclopedia of Software Engineering, 2010

Document-centric XML workflows with fragment digital signatures.

Phillip J. Brooke, Richard F. Paige, Christopher Power

Softw. Pract. Exp., 2010

2009

Editorial.

Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock

Formal Aspects Comput., 2009

Cameo: an alternative model of concurrency for Eiffel.

Phillip J. Brooke, Richard F. Paige

Formal Aspects Comput., 2009

2008

Friend-assisted intrusion detection and response mechanisms for mobile ad hoc networks.

Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke

Ad Hoc Networks, 2008

Towards Agile Engineering of High-Integrity Systems.

Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke

Proceedings of the Computer Safety, 2008

FPTC: Automated Safety Analysis for Domain-Specific Languages.

Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

2007

Practical Distributed Processing.

Phillip J. Brooke, Richard F. Paige

Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-841-8, 2007

Metamodel-based model conformance and multiview consistency checking.

Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff

ACM Trans. Softw. Eng. Methodol., 2007

Exceptions in Concurrent Eiffel.

Phillip J. Brooke, Richard F. Paige

J. Object Technol., 2007

A new taxonomy for comparing intrusion detection systems.

C. J. Tucker, Steven Furnell, Bogdan V. Ghita, Phillip J. Brooke

Internet Res., 2007

A CSP model of Eiffel's SCOOP.

Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob

Formal Aspects Comput., 2007

Extreme Programming Security Practices.

Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2007

Lazy Exploration and Checking of CSP Models with CSPsim.

Phillip J. Brooke, Richard F. Paige

Proceedings of the 30th Communicating Process Architectures Conference, 2007

A Novel Approach to the Detection of Cheating in Multiplayer Online Games.

Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Building a Trusted Community for Mobile Ad Hoc Networks Using Friend Recommendation.

Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke

Proceedings of the Ad-Hoc, Mobile, and Wireless Networks, 6th International Conference, 2007

2006

Game Development Using Design-by-Contract.

Richard F. Paige, Triston S. Attridge, Phillip J. Brooke

J. Object Technol., 2006

Towards an insider threat prediction specification language.

George Magklaras, Steven Furnell, Phillip J. Brooke

Inf. Manag. Comput. Secur., 2006

Towards an Agile Process for Building Software Product Lines.

Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006

Security Planning and Refactoring in Extreme Programming.

Emine Gokce Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2006

A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks - A Friend Approach.

Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke

Proceedings of the Intelligence and Security Informatics, 2006

Agile development of secure web applications.

Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke

Proceedings of the 6th International Conference on Web Engineering, 2006

2005

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.

Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke

J. Object Technol., 2005

Agile Formal Method Engineering.

Richard F. Paige, Phillip J. Brooke

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks.

Shukor Abd Razak, Steven Furnell, Phillip J. Brooke

Proceedings of the 4th European Conference on Information Warfare and Security, 2005

2004

Playing the game: cheating, loopholes, and virtual identity.

Phillip J. Brooke, Richard F. Paige, John A. Clark, Susan Stepney

SIGCAS Comput. Soc., 2004

Integrating BON and Object-Z.

Richard F. Paige, Phillip J. Brooke

J. Object Technol., 2004

2003

Fault trees for security system design and analysis.

Phillip J. Brooke, Richard F. Paige

Comput. Secur., 2003

Theorem Proving Support for View Consistency Checking.

Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke

Obj. Logiciel Base données Réseaux, 2003

Combining Agile Practices with UML and EJB: A Case Study in Agile Development.

Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke

Proceedings of the Extreme Programming and Agile Processes in Software Engineering, 2003

2002

The Design of a Tool-Supported Graphical Notation for Timed CSP.

Phillip J. Brooke, Richard F. Paige

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

2000

Principles for modeling language design.

Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke

Inf. Softw. Technol., 2000