Thomas Gibson-Robinson : Publications
-
[1]
Analysing Applications Layered on Unilaterally Authenticating Protocols
Thomas Gibson−Robinson and Gavin Lowe
In Proceedings of Formal Aspects of Security and Trust (FAST 2011). 2011.
Details about Analysing Applications Layered on Unilaterally Authenticating Protocols | BibTeX data for Analysing Applications Layered on Unilaterally Authenticating Protocols | Download (pdf) of Analysing Applications Layered on Unilaterally Authenticating Protocols
-
[2]
Analysing Layered Security Protocols
Thomas Gibson−Robinson
PhD Thesis , type= DPhil Thesis. 2013.
Details about Analysing Layered Security Protocols | BibTeX data for Analysing Layered Security Protocols | Download (pdf) of Analysing Layered Security Protocols
-
[3]
Computing Maximal Bisimulations
Alexandre Boulgakov‚ Thomas Gibson−Robinson and A.W. Roscoe
In Formal Methods and Software Engineering − 16th International Conference on Formal Engineering Methods‚ ICFEM 2014‚ Proceedings. 2014.
Details about Computing Maximal Bisimulations | BibTeX data for Computing Maximal Bisimulations | DOI (10.1007/978-3-319-11737-9_2) | Link to Computing Maximal Bisimulations
-
[4]
Efficient Simulation of CSP−Like Languages
Thomas Gibson−Robinson
In Communicating Process Architectures 2013. 2013.
Details about Efficient Simulation of CSP−Like Languages | BibTeX data for Efficient Simulation of CSP−Like Languages | Download (pdf) of Efficient Simulation of CSP−Like Languages
-
[5]
FDR into The Cloud
Thomas Gibson−Robinson and A.W. Roscoe
In Communicating Process Architectures. 2014.
Details about FDR into The Cloud | BibTeX data for FDR into The Cloud | Download Samples.zip of FDR into The Cloud | Download ClusterFDR.pdf of FDR into The Cloud
-
[6]
FDR3 — A Modern Refinement Checker for CSP
Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe
In Tools and Algorithms for the Construction and Analysis of Systems. Pages 187−201. 2014.
Details about FDR3 — A Modern Refinement Checker for CSP | BibTeX data for FDR3 — A Modern Refinement Checker for CSP | Download Document.pdf of FDR3 — A Modern Refinement Checker for CSP | Download Samples.zip of FDR3 — A Modern Refinement Checker for CSP | DOI (10.1007/978-3-642-54862-8_13)
-
[7]
FDR3: a parallel refinement checker for CSP
Thomas Gibson−Robinson‚ Philip Armstrong‚ Alexandre Boulgakov and A.W. Roscoe
In International Journal on Software Tools for Technology Transfer. 2015.
Details about FDR3: a parallel refinement checker for CSP | BibTeX data for FDR3: a parallel refinement checker for CSP | DOI (10.1007/s10009-015-0377-y) | Link to FDR3: a parallel refinement checker for CSP
-
[8]
On the Refinement Closure of Information−Flow Properties
Thomas Gibson−Robinson
Master's Thesis 2009.
Details about On the Refinement Closure of Information−Flow Properties | BibTeX data for On the Refinement Closure of Information−Flow Properties | Download (pdf) of On the Refinement Closure of Information−Flow Properties
-
[9]
The Meaning and Implementation of SKIP in CSP
Thomas Gibson−Robinson and Michael Goldsmith
In Communicating Process Architectures 2013. 2013.
Details about The Meaning and Implementation of SKIP in CSP | BibTeX data for The Meaning and Implementation of SKIP in CSP | Download (pdf) of The Meaning and Implementation of SKIP in CSP
-
[10]
Tools for Understanding Identity
Sadie Creese‚ Thomas Gibson−Robinson‚ Michael Goldsmith‚ Duncan Hodges‚ Dee Kim‚ Oriana Love‚ Jason R. C. Nurse‚ Bill Pike and Jean Schultz
In IEEE Conference on Technologies for Homeland Security (HST '13). 2013.
Details about Tools for Understanding Identity | BibTeX data for Tools for Understanding Identity | DOI (10.1109/THS.2013.6699064)
-
[11]
Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP
Thomas Gibson−Robinson
Master's Thesis 2010.
Details about Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP | BibTeX data for Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP | Download (pdf) of Tyger: A Tool for Automatically Simulating CSP−Like Languages in CSP