Brian Monahan

According to our database, Brian Monahan authored at least 11 papers between 1988 and 2010.

Collaborative distances:

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

2010

Semantics for structured systems modelling and simulation.

Matthew Collinson, Brian Monahan, David J. Pym

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

2009

A Logical and Computational Theory of Located Resource.

Matthew Collinson, Brian Monahan, David J. Pym

J. Log. Comput., 2009

Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security.

Adam Beautement, Robert Coles, Jonathan Griffin, Christos Ioannidis, Brian Monahan, David J. Pym, M. Angela Sasse, Mike Wonham

Proceedings of the Managing Information Risk and the Economics of Security, 2009

2008

Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security.

Adam Beautement, Robert Coles, Jonathan Griffin, Christos Ioannidis, Brian Monahan, David J. Pym, M. Angela Sasse, Mike Wonham

Proceedings of the 7th Annual Workshop on the Economics of Information Security, 2008

2007

Assessing the Value of Investments in Network Security Operations: A Systems Analytics Approach.

Jonathan Griffin, Brian Monahan, David J. Pym, Mike Wonham, Mike Yearworth

Proceedings of the 6th Annual Workshop on the Economics of Information Security, 2007

2003

From Security Protocols to Systems Security (Discussion).

Brian Monahan

Proceedings of the Security Protocols, 2003

From Security Protocols to Systems Security.

Brian Monahan

Proceedings of the Security Protocols, 2003

1998

Improving instruction and staff development by building K-12/university partnerships.

Rodney Zagury, Brian Monahan

Proceedings of the ACM SIGGRAPH 98 Conference Abstracts and Applications, 1998

1996

A Process Algebra Foundation for Reasoning about Core ELLA.

Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams

Comput. J., 1996

1995

Formal support for the ELLA hardwar description language.

Howard Barringer, Graham Gough, Brian Monahan, Alan R. Williams

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1988

The role of mathematically formal methods in the development and assessment of safety-critical systems.

Peter K. D. Froome, Brian Monahan

Microprocess. Microsystems, 1988