Nick Moffat
Selected Publications
-
Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection
Sadie Creese Philip A. Legg Nick Moffat Jason R.C. Nurse Jassim Happa Ioannis Agrafiotis Michael Goldsmith
In Journal of Wireless Mobile Networks‚ Ubiquitous Computing‚ and Dependable Applications. Vol. 4. No. 4. Pages 20−37. 2013.
Details about Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection | BibTeX data for Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection | Download (pdf) of Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection
-
Assumption−Commitment Support for CSP Model Checking
Nick Moffat and Michael Goldsmith
In Journal of Automated Reasoning. Vol. 41. Pages 365−398. 2008.
Details about Assumption−Commitment Support for CSP Model Checking | BibTeX data for Assumption−Commitment Support for CSP Model Checking | DOI (10.1007/s10817-008-9111-8) | Link to Assumption−Commitment Support for CSP Model Checking
-
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
Nick Moffat‚ Michael Goldsmith and Bill Roscoe
In ICFEM. Vol. 5256 of Lecture Notes in Computer Science. Springer Berlin Heidelberg. 2008.
Details about A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking | BibTeX data for A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking | DOI (10.1007/978-3-540-88194-0_17)