Nick Moffat : Publications
-
[1]
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
-
[2]
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
-
[3]
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)
-
[4]
Towards Symmetry Aware Refinement Checking (Extended Abstract)
Nick Moffat‚ Michael Goldsmith and Bill Roscoe
2007.
Details about Towards Symmetry Aware Refinement Checking (Extended Abstract) | BibTeX data for Towards Symmetry Aware Refinement Checking (Extended Abstract)
-
[5]
Assumption−Commitment Support for CSP Model Checking
Nick Moffat and Michael Goldsmith
In Workshop on Automated Verification of Critical Systems. Pages 104−119. 2006.
Details about Assumption−Commitment Support for CSP Model Checking | BibTeX data for Assumption−Commitment Support for CSP Model Checking | Link to Assumption−Commitment Support for CSP Model Checking
-
[6]
Rigorous Analysis of Routing Protocols Using Game Search
Irfan Zakiuddin‚ Tim Hawkins‚ Nick Moffat and Chris Leow
Pages 46−51. 2004.
Details about Rigorous Analysis of Routing Protocols Using Game Search | BibTeX data for Rigorous Analysis of Routing Protocols Using Game Search
-
[7]
Towards A Game Theoretic Understanding of Ad−Hoc Routing
Details about Towards A Game Theoretic Understanding of Ad−Hoc Routing | BibTeX data for Towards A Game Theoretic Understanding of Ad−Hoc Routing | DOI (10.1016/j.entcs.2004.07.009) | Link to Towards A Game Theoretic Understanding of Ad−Hoc Routing
-
[8]
Watchdog Transformations for Property−Oriented Model−Checking
Michael Goldsmith‚ Nick Moffat‚ Bill Roscoe‚ Tim Whitworth and Irfan Zakiuddin
In FME 2003: Formal Methods. Vol. 2805. Pages 600−616. Springer Berlin Heidelberg. 2003.
Details about Watchdog Transformations for Property−Oriented Model−Checking | BibTeX data for Watchdog Transformations for Property−Oriented Model−Checking | DOI (10.1007/978-3-540-45236-2_33) | Link to Watchdog Transformations for Property−Oriented Model−Checking
-
[9]
Modelling Ad−hoc Routing Protocols Using Game Search: Extended Abstract
Irfan Zakiuddin‚ Tim Hawkins‚ Nick Moffat‚ Sadie Creese and Chris Leow
2003.
Details about Modelling Ad−hoc Routing Protocols Using Game Search: Extended Abstract | BibTeX data for Modelling Ad−hoc Routing Protocols Using Game Search: Extended Abstract | Link to Modelling Ad−hoc Routing Protocols Using Game Search: Extended Abstract
-
[10]
An Assessment of Software Sneak Analysis
Graham Jolliffe and Nick Moffat
2003.
Details about An Assessment of Software Sneak Analysis | BibTeX data for An Assessment of Software Sneak Analysis
-
[11]
An Assessment of Software Sneak Analysis
Details about An Assessment of Software Sneak Analysis | BibTeX data for An Assessment of Software Sneak Analysis | DOI (10.1007/978-1-4471-0653-1_11) | Link to An Assessment of Software Sneak Analysis
-
[12]
Property Based Compression Strategies
Irfan Zakiuddin‚ Nick Moffat‚ Michael Goldsmith and Tim Whitworth
2002.
Details about Property Based Compression Strategies | BibTeX data for Property Based Compression Strategies
-
[13]
(DSN '2001) International Conference on DSoS (Dependable Systems of Systems) and Networks
F.Von Henke B. Randell R.J. Stroud C.Jones H.Kopetz D.Powell V.Issarny N.Moffat M.C.Gaudel
Pages D28−D31. 2001.
Details about (DSN '2001) International Conference on DSoS (Dependable Systems of Systems) and Networks | BibTeX data for (DSN '2001) International Conference on DSoS (Dependable Systems of Systems) and Networks