| |
| 2003 | ||
|---|---|---|
| 4 | EE | Brian Monahan: From Security Protocols to Systems Security. Security Protocols Workshop 2003: 307-322 |
| 3 | EE | 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] |