- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 4 |      | Brian Monahan: From Security Protocols to Systems Security. Security Protocols Workshop 2003: 307-322 |
| 3 | | Brian Monahan: From Security Protocols to Systems Security (Discussion). Security Protocols Workshop 2003: 323-323 |
| 1996 | ||
| 2 |  | Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: A Process Algebra Foundation for Reasoning about Core ELLA. Comput. J. 39(4): 303-324 (1996) |
| 1995 | ||
| 1 | | Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: Formal support for the ELLA hardwar description language. CHARME 1995: 225-245 |
| 1 | Howard Barringer | [1] [2] |
| 2 | Graham Gough | [1] [2] |
| 3 | Alan Williams | [1] [2] |