Andrew Simpson : Publications
-
[1]
Characterising 0−Day Exploit Brokers
Matthias Dellago‚ Daniel Woods and Andrew Simpson
In Proceedings of WEIS 2022. 2022.
Details about Characterising 0−Day Exploit Brokers | BibTeX data for Characterising 0−Day Exploit Brokers
-
[2]
Non−obvious Costs of Cyber Security Breaches: Changes in Systematic Risk
Dennis Malliouris and Andrew Simpson
In WEIS 2020. 2020.
Details about Non−obvious Costs of Cyber Security Breaches: Changes in Systematic Risk | BibTeX data for Non−obvious Costs of Cyber Security Breaches: Changes in Systematic Risk
-
[3]
An Empirical Study of Bug Bounty Programs
Thomas Walshe and Andrew Simpson
In Proceedings of the 2nd IEEE Workshop on Intelligent Bug Fixing (IBF 2020). 2020.
Details about An Empirical Study of Bug Bounty Programs | BibTeX data for An Empirical Study of Bug Bounty Programs
-
[4]
Connected Vehicles: A Privacy Analysis
Mark Quinlan‚ Jun Zhao and Andrew Simpson
In Proceedings of the 8th International Symposium on Security and Privacy on Internet of Things (SPIoT 2018). 2019.
Details about Connected Vehicles: A Privacy Analysis | BibTeX data for Connected Vehicles: A Privacy Analysis | Link to Connected Vehicles: A Privacy Analysis
-
[5]
Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling−focussed approach
Andrew Simpson
In Proceedings of FMTea 2019. 2019.
Details about Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling−focussed approach | BibTeX data for Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling−focussed approach
-
[6]
On the trade−off between privacy and utility in mobile services: A qualitative study
Yang Liu and Andrew Simpson
In Proceedings of the 1st Workshop on Security‚ Privacy‚ Organizations‚ and Systems Engineering (SPOSE 2019). 2019.
Details about On the trade−off between privacy and utility in mobile services: A qualitative study | BibTeX data for On the trade−off between privacy and utility in mobile services: A qualitative study
-
[7]
Cyber Threat Information Sharing: Perceived Benefits and Barriers
Adam Zibak and Andrew Simpson
In Proceedings of CyberTim 2019. 2019.
Details about Cyber Threat Information Sharing: Perceived Benefits and Barriers | BibTeX data for Cyber Threat Information Sharing: Perceived Benefits and Barriers
-
[8]
Towards Better Understanding of Cyber Security Information Sharing
A. Zibak and A. C. Simpson
In CyberSA 2019. 2019.
Details about Towards Better Understanding of Cyber Security Information Sharing | BibTeX data for Towards Better Understanding of Cyber Security Information Sharing
-
[9]
The stock market impact of information security investments: The case of security standards
D. Malliouris and A. C. Simpson
In WEIS 2019. 2019.
Details about The stock market impact of information security investments: The case of security standards | BibTeX data for The stock market impact of information security investments: The case of security standards
-
[10]
The County Fair Cyber Loss Distribution: Drawing Inferences from Insurance Prices
D. Woods‚ T. Moore and A. C. Simpson
In WEIS 2019. 2019.
Details about The County Fair Cyber Loss Distribution: Drawing Inferences from Insurance Prices | BibTeX data for The County Fair Cyber Loss Distribution: Drawing Inferences from Insurance Prices
-
[11]
A model−based approach to support privacy compliance
Majed Alshammari and Andrew Simpson
In Information and Computer Security. 2018.
Details about A model−based approach to support privacy compliance | BibTeX data for A model−based approach to support privacy compliance
-
[12]
Privacy Architectural Strategies: An Approach for Achieving Various Levels of Privacy Protection
Majed Alshammari and Andrew Simpson
In Proceedings of the 2018 Workshop on Privacy in the Electronic Society. 2018.
Details about Privacy Architectural Strategies: An Approach for Achieving Various Levels of Privacy Protection | BibTeX data for Privacy Architectural Strategies: An Approach for Achieving Various Levels of Privacy Protection
-
[13]
Cyber−warranties as a quality signal for information security products
Daniel Woods and Andrew Simpson
In Proceedings of GameSec 2018. 2018.
Details about Cyber−warranties as a quality signal for information security products | BibTeX data for Cyber−warranties as a quality signal for information security products
-
[14]
Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis
Majed Alshammari and Andrew Simpson
In Proceedings of the 13th DPM International Workshop on Data Privacy Management (DPM 2018). 2018.
Details about Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis | BibTeX data for Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Analysis
-
[15]
Rethinking the Proposition of Privacy Engineering
Aaron Ceross and Andrew Simpson
In Proceedings of NSPW 2018. 2018.
Details about Rethinking the Proposition of Privacy Engineering | BibTeX data for Rethinking the Proposition of Privacy Engineering
-
[16]
Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Assessment
M. Alshammari and A. C. Simpson
In Proceedings of TrustBus 2018. 2018.
Details about Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Assessment | BibTeX data for Towards an Effective Privacy Impact and Risk Assessment Methodology: Risk Assessment
-
[17]
Towards Integrating Insurance Data into Information Security Investment Decision Making
Daniel Woods and Andrew Simpson
In Proceedings of the 2018 International Workshop on Cyber Insurance and Risk Controls. 2018.
Details about Towards Integrating Insurance Data into Information Security Investment Decision Making | BibTeX data for Towards Integrating Insurance Data into Information Security Investment Decision Making
-
[18]
Can We Evaluate the Impact of Cyber Security Information Sharing?
Adam Zibak and Andrew Simpson
In Proceedings of Cyber SA 2018. 2018.
Details about Can We Evaluate the Impact of Cyber Security Information Sharing? | BibTeX data for Can We Evaluate the Impact of Cyber Security Information Sharing?
-
[19]
Monte Carlo methods to investigate how aggregated cyber insurance claims data impacts security investments
Daniel Woods and Andrew Simpson
In Proceedings of the 17th Annual Workshop on the Economics of Information Security (WEIS 2018). 2018.
Details about Monte Carlo methods to investigate how aggregated cyber insurance claims data impacts security investments | BibTeX data for Monte Carlo methods to investigate how aggregated cyber insurance claims data impacts security investments
-
[20]
Towards an effective PIA−based Risk Analysis: An Approach for Analysing Potential Privacy Risks
Majed Alshammari and Andrew Simpson
No. RR−18−01. Department of Computer Science. Oxford‚ UK. 2018.
Details about Towards an effective PIA−based Risk Analysis: An Approach for Analysing Potential Privacy Risks | BibTeX data for Towards an effective PIA−based Risk Analysis: An Approach for Analysing Potential Privacy Risks | Download (pdf) of Towards an effective PIA−based Risk Analysis: An Approach for Analysing Potential Privacy Risks
-
[21]
LEFT — a web−based tool for the remote measurement and estimation of ecological value across global landscape
Long P. R.‚ Benz D.‚ M. Macias−Fauria‚ Seddon A. W. R.‚ Holland P. W. A.‚ Martin A. C.‚ R. Hagemann‚ T. K. Frost‚ A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and K. J. Willis
In Methods in Ecology and Evolution. 2017.
Details about LEFT — a web−based tool for the remote measurement and estimation of ecological value across global landscape | BibTeX data for LEFT — a web−based tool for the remote measurement and estimation of ecological value across global landscape
-
[22]
Risk and the Small−Scale Cyber Security Decision Making Dialogue — a UK Case Study
Emma Osborn and Andrew Simpson
2017.
Details about Risk and the Small−Scale Cyber Security Decision Making Dialogue — a UK Case Study | BibTeX data for Risk and the Small−Scale Cyber Security Decision Making Dialogue — a UK Case Study
-
[23]
Policy measures and cyber insurance: A framework
Daniel Woods and Andrew Simpson
In Journal of Cyber Policy. 2017.
Details about Policy measures and cyber insurance: A framework | BibTeX data for Policy measures and cyber insurance: A framework
-
[24]
AdSelector: A privacy−preserving advertisement selection mechanism for mobile devices
Y. Liu and A. C. Simpson
In The Computer Journal‚ Volume 60‚ Issue 8‚ Pages 1251–1270. 2017.
Details about AdSelector: A privacy−preserving advertisement selection mechanism for mobile devices | BibTeX data for AdSelector: A privacy−preserving advertisement selection mechanism for mobile devices
-
[25]
A Formal Model to Facilitate Security Testing in Modern Automotive Systems
E. dos Santos‚ D. Schoop and A. C. Simpson
In Proceedings of FM&&MDD 2017. 2017.
Details about A Formal Model to Facilitate Security Testing in Modern Automotive Systems | BibTeX data for A Formal Model to Facilitate Security Testing in Modern Automotive Systems
-
[26]
A UML Profile for Privacy−Aware Data Lifecycle Models
Majed Alshammari and Andrew Simpson
In Proceedings of the 1st SECPRE workshop. 2017.
Details about A UML Profile for Privacy−Aware Data Lifecycle Models | BibTeX data for A UML Profile for Privacy−Aware Data Lifecycle Models
-
[27]
Personal Data Management: An Abstract Personal Data Lifecycle Model
Majed Alshammari and Andrew Simpson
In Proceedings of the SPBP'17 workshop. 2017.
Details about Personal Data Management: An Abstract Personal Data Lifecycle Model | BibTeX data for Personal Data Management: An Abstract Personal Data Lifecycle Model | Download of Personal Data Management: An Abstract Personal Data Lifecycle Model
-
[28]
The use of data protection regulatory actions as a data source for privacy economics
Aaron Ceross and Andrew Simpson
In Proceedings of TELERISE 2017. 2017.
Details about The use of data protection regulatory actions as a data source for privacy economics | BibTeX data for The use of data protection regulatory actions as a data source for privacy economics
-
[29]
On the Performance of a Trustworthy Remote Entity in Comparison to Secure Multi−Party Computation
Robin Ankele and Andrew Simpson
In Proceedings of the 3rd IEEE International Workshop on Cloud Security and Forensics (WCSF 2017). 2017.
Details about On the Performance of a Trustworthy Remote Entity in Comparison to Secure Multi−Party Computation | BibTeX data for On the Performance of a Trustworthy Remote Entity in Comparison to Secure Multi−Party Computation
-
[30]
Towards a Principled Approach for Engineering Privacy by Design
Majed Alshammari and Andrew Simpson
In Proceedings of the 2017 ENISA Annual Privacy Forum (APF 2017). 2017.
Details about Towards a Principled Approach for Engineering Privacy by Design | BibTeX data for Towards a Principled Approach for Engineering Privacy by Design
-
[31]
Personal Data Management for Privacy Engineering: An Abstract Personal Data Lifecycle Model
Majed Alshammari and Andrew Simpson
No. CS−RR−17−02. Department of Computer Science. Oxford UK. 2017.
Details about Personal Data Management for Privacy Engineering: An Abstract Personal Data Lifecycle Model | BibTeX data for Personal Data Management for Privacy Engineering: An Abstract Personal Data Lifecycle Model | Download (pdf) of Personal Data Management for Privacy Engineering: An Abstract Personal Data Lifecycle Model
-
[32]
On Small−Scale IT Users' System Architectures and Cyber Security: A UK Case Study
Emma Osborn and Andrew Simpson
2017.
Details about On Small−Scale IT Users' System Architectures and Cyber Security: A UK Case Study | BibTeX data for On Small−Scale IT Users' System Architectures and Cyber Security: A UK Case Study
-
[33]
Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures
Chad Heitzenrater and Andrew Simpson
In Journal of Cyber Security. 2016.
Details about Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures | BibTeX data for Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures | DOI (10.1093/cybsec/tyw008)
-
[34]
Privacy−preserving targeted mobile advertising: Requirements‚ design‚ and a prototype implementation
Y. Liu and A. C. Simpson
In Software: Practice and Experience. Vol. 46. No. 12. Pages 1657−1684. 2016.
Details about Privacy−preserving targeted mobile advertising: Requirements‚ design‚ and a prototype implementation | BibTeX data for Privacy−preserving targeted mobile advertising: Requirements‚ design‚ and a prototype implementation
-
[35]
On safety and security requirements in emerging ubiquitous computing models
Emma Osborn and Andrew Simpson
In Accepted for publication in The Computer Journal. 2016.
Details about On safety and security requirements in emerging ubiquitous computing models | BibTeX data for On safety and security requirements in emerging ubiquitous computing models
-
[36]
On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks
J. Jacobs and A. C. Simpson
In International Journal on Software and Systems Modeling. 2016.
Details about On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks | BibTeX data for On The Formal Interpretation and Behavioural Consistency Checking of SysML Blocks
-
[37]
Exploring the use of Intel SGX for Secure Many−Party Applications
K.A. Küçük‚ A. Paverd‚ A. Martin‚ N. Asokan‚ A. Simpson and R. Ankele
In Proceedings of the 1st Workshop on System Software for Trusted Execution (SysTEX '16). New York‚ NY‚ USA. 2016. ACM.
The theoretical construct of a Trusted Third Party (TTP) has the potential to solve many security and privacy challenges. In particular‚ a TTP is an ideal way to achieve secure multiparty computation—a privacy−enhancing technique in which mutually distrusting participants jointly compute a function over their private inputs without revealing these inputs. Although there exist cryptographic protocols to achieve this‚ their performance often limits them to the two−party case‚ or to a small number of participants. However‚ many real−world applications involve thousands or tens of thousands of participants. Examples of this type of many−party application include privacy−preserving energy metering‚ location−based services‚ and mobile network roaming. Challenging the notion that a trustworthy TTP does not exist‚ recent research has shown how trusted hardware and remote attestation can be used to establish a sufficient level of assurance in a real system such that it can serve as a trustworthy remote entity (TRE). We explore the use of Intel SGX‚ the most recent and arguably most promising trusted hardware technology‚ as the basis for a TRE for many−party applications. Using privacy−preserving energy metering as a case study‚ we design and implement a prototype TRE using SGX‚ and compare its performance to a previous system based on the Trusted Platform Module (TPM). Our results show that even without specialized optimizations‚ SGX provides comparable performance to the optimized TPM system‚ and therefore has significant potential for large−scale many−party applications.
Details about Exploring the use of Intel SGX for Secure Many−Party Applications | BibTeX data for Exploring the use of Intel SGX for Secure Many−Party Applications | DOI (10.1145/3007788.3007793) | Link to Exploring the use of Intel SGX for Secure Many−Party Applications
-
[38]
Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges
E. dos Santos‚ D. Schoop and A. C. Simpson
In Proceedings of VNC 2016. 2016.
Details about Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges | BibTeX data for Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges
-
[39]
Software Security Investment: The Right Amount of a Good Thing
Chad Heitzenrater and Andrew Simpson
In Proceedings of the 1st IEEE Cybersecurity Development Conference (SecDev 2016). 2016.
Details about Software Security Investment: The Right Amount of a Good Thing | BibTeX data for Software Security Investment: The Right Amount of a Good Thing
-
[40]
Privacy−Preserving Targeted Mobile Advertising: Formal Models and Analysis
Y. Liu and A. C. Simpson
In Proceedings of the 11th International Workshop on Data Privacy Management (DPM 2016). 2016.
Details about Privacy−Preserving Targeted Mobile Advertising: Formal Models and Analysis | BibTeX data for Privacy−Preserving Targeted Mobile Advertising: Formal Models and Analysis
-
[41]
A Case for the Economics of Secure Software Development
Chad Heitzenrater and Andrew Simpson
In Proceedings of NSPW 2016. 2016.
Details about A Case for the Economics of Secure Software Development | BibTeX data for A Case for the Economics of Secure Software Development
-
[42]
Misuse‚ Abuse‚ and Reuse: Economic utility functions for characterising security requirements
C. Heitzenrater and A. C. Simpson
In Proceedings of The Second International Workshop on Agile Secure Software Development (ASSD 2016). 2016.
Details about Misuse‚ Abuse‚ and Reuse: Economic utility functions for characterising security requirements | BibTeX data for Misuse‚ Abuse‚ and Reuse: Economic utility functions for characterising security requirements
-
[43]
Motivating Security Engineering with Economics: A Utility Function Approach
C. Heitzenrater‚ J. King−Lacroix and A. C. Simpson
In Proceedings of The 1st IEEE International Workshop on Cyber Resiliency Economics (CRE 2016). 2016.
Details about Motivating Security Engineering with Economics: A Utility Function Approach | BibTeX data for Motivating Security Engineering with Economics: A Utility Function Approach
-
[44]
Applying the Trustworthy Remote Entity to Privacy−Preserving Multiparty Computation: Requirements and Criteria for Large−Scale Applications
R. Ankele‚ K.A. Küçük‚ A.P. Martin‚ A.C. Simpson and A. Paverd
In Proceedings of the 13th IEEE International Conference on Advanced and Trusted Computing (ATC 2016). 2016.
The significant improvements in technology that have been seen in recent years have resulted in a shift in the computing paradigm: from isolated computational tasks to distributed tasks executed in multi−party settings. Secure Multi−Party Computation (MPC) allows for multiple parties to jointly compute a function on their private inputs. Unfortunately‚ traditional MPC algorithms are inefficient in the presence of a large number of participants. Moreover‚ in the traditional setting‚ MPC is only concerned with privacy of the input values. However‚ there is often a need to preserve the privacy of individuals on the basis of the output of the computation. Techniques proposed by the Trusted Computing community have shown promise in the context of new secure‚ efficient large−scale applications. In this paper‚ we define‚ analyse several use cases related to large−scale applications of the MPC paradigm. From these use cases‚ we derive requirements‚ criteria to evaluate certain MPC protocols used for large−scale applications. Furthermore‚ we propose the utilisation of a Trustworthy Remote Entity‚ privacy−preserving algorithms to achieve confidentiality‚ privacy in such settings.
Details about Applying the Trustworthy Remote Entity to Privacy−Preserving Multiparty Computation: Requirements and Criteria for Large−Scale Applications | BibTeX data for Applying the Trustworthy Remote Entity to Privacy−Preserving Multiparty Computation: Requirements and Criteria for Large−Scale Applications | DOI (10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0077) | Link to Applying the Trustworthy Remote Entity to Privacy−Preserving Multiparty Computation: Requirements and Criteria for Large−Scale Applications
-
[45]
The Days Before Zero Day: Investment Models for Secure Software Engineering
Chad Heitzenrater‚ Rainier Bohme and Andrew Simpson
In Proceedings of WEIS 2016. 2016.
Details about The Days Before Zero Day: Investment Models for Secure Software Engineering | BibTeX data for The Days Before Zero Day: Investment Models for Secure Software Engineering
-
[46]
Formal Models for Privacy
Alan Abe and Andrew Simpson
In Proceedings of the 9th International Workshop on Privacy and Anonymity in the Information Society (PAIS 2016). 2016.
Details about Formal Models for Privacy | BibTeX data for Formal Models for Privacy
-
[47]
Whither the privacy breach case studies?
Andrew Simpson
No. RR−16−06. Department of Computer Science. Oxford‚ UK. 2016.
Details about Whither the privacy breach case studies? | BibTeX data for Whither the privacy breach case studies? | Download (pdf) of Whither the privacy breach case studies?
-
[48]
Towards a Principled Approach for Engineering Privacy by Design
Majed Alshammari and Andrew Simpson
No. RR−16−05. Department of Computer Science. Oxford‚ UK. 2016.
Details about Towards a Principled Approach for Engineering Privacy by Design | BibTeX data for Towards a Principled Approach for Engineering Privacy by Design | Download (pdf) of Towards a Principled Approach for Engineering Privacy by Design
-
[49]
Small−Scale Cyber Security
Emma Osborn and Andrew Simpson
In Proceedings of IEEE CSCloud 2015. 2015.
Details about Small−Scale Cyber Security | BibTeX data for Small−Scale Cyber Security
-
[50]
When the Winning Move is Not to Play: Games of Deterrence in Cyber Security
C. Heitzenrater and A. C. Simpson
In Proceedings of the 6th Conference on Decision and Game Theory for Security (GameSec 2015). 2015.
Details about When the Winning Move is Not to Play: Games of Deterrence in Cyber Security | BibTeX data for When the Winning Move is Not to Play: Games of Deterrence in Cyber Security
-
[51]
Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures
Chad Heitzenrater and Andrew Simpson
In Proceedings of WEIS 2015. 2015.
Details about Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures | BibTeX data for Policy‚ Statistics‚ and Questions: Reflections on UK Cyber Security Disclosures
-
[52]
Experiences in Developing and Delivering a Programme of Part−Time Education in Software and Systems Security
A. C. Simpson‚ A. P. Martin‚ C. Cremers‚ I. Flechais‚ I. Martinovic and K. B. Rasmussen
In Proceedings of ICSE 2015. 2015.
Details about Experiences in Developing and Delivering a Programme of Part−Time Education in Software and Systems Security | BibTeX data for Experiences in Developing and Delivering a Programme of Part−Time Education in Software and Systems Security
-
[53]
Usability and Security by Design: A Case Study in Research and Development
S. Faily‚ J. Lyle‚ I. Flechais and A. C. Simpson
In Proceedings of the 2015 NDSS Workshop on Usable Security (USEC 2015). Internet Society. 2015.
Details about Usability and Security by Design: A Case Study in Research and Development | BibTeX data for Usability and Security by Design: A Case Study in Research and Development
-
[54]
A Formal Model of SysML Blocks using CSP for Assured Systems Engineering
J. Jacobs and A. C. Simpson
In Proceedings of the 3rd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2014). Vol. ?? of Communications in Computer and Information Science. Pages ??−??. 2015.
Details about A Formal Model of SysML Blocks using CSP for Assured Systems Engineering | BibTeX data for A Formal Model of SysML Blocks using CSP for Assured Systems Engineering | Download (pdf) of A Formal Model of SysML Blocks using CSP for Assured Systems Engineering
-
[55]
Formal Relational Database Design: An Exercise in Extending the Formal Template Language
N. Wu and A. C. Simpson
In Formal Aspects of Computing. Vol. 26. No. 6. Pages 1231–1269. 2014.
Details about Formal Relational Database Design: An Exercise in Extending the Formal Template Language | BibTeX data for Formal Relational Database Design: An Exercise in Extending the Formal Template Language
-
[56]
On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study
J. Jacobs and A. C. Simpson
In Proceedings of the 8th Brazilian Symposium on Software Components‚ Architectures and Reuse (SBCARS 2014). Pages 95−104. IEEE. 2014.
Details about On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study | BibTeX data for On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study | Download (pdf) of On the Formal Interpretation of SysML Blocks using a Safety Critical Case Study
-
[57]
On a Process Algebraic Representation of Sequence Diagrams
J. Jacobs and A. C. Simpson
In Proceedings of the 1st International Workshop on Safety and Formal Methods (SaFoMe 2014). Vol. 8938 of Lecture Notes in Computer Science. Pages 71–85. Springer. 2014.
Details about On a Process Algebraic Representation of Sequence Diagrams | BibTeX data for On a Process Algebraic Representation of Sequence Diagrams | Download (pdf) of On a Process Algebraic Representation of Sequence Diagrams
-
[58]
On the Cloud−enabled Refinement Checking of Railway Signalling Interlockings
A. C. Simpson and J. Jacobs
In Proceedings of the 2nd International Workshop on Formal Techniques for Safety−Critical Systems (FTSCS 2013). Vol. 419 of Communications in Computer and Information Science. Pages 195–211. 2014.
Details about On the Cloud−enabled Refinement Checking of Railway Signalling Interlockings | BibTeX data for On the Cloud−enabled Refinement Checking of Railway Signalling Interlockings | Download (pdf) of On the Cloud−enabled Refinement Checking of Railway Signalling Interlockings
-
[59]
A Process Algebraic Approach to Decomposition of Communicating SysML Blocks
J. Jacobs and A. C. Simpson
In International Journal of Modeling and Optimization. Vol. 3. No. 2. Pages 153–157. 2013.
Details about A Process Algebraic Approach to Decomposition of Communicating SysML Blocks | BibTeX data for A Process Algebraic Approach to Decomposition of Communicating SysML Blocks | Download (pdf) of A Process Algebraic Approach to Decomposition of Communicating SysML Blocks
-
[60]
Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
J. Jacobs and A. C. Simpson
In Proceedings of the 15th International Conference on Formal Engineering Methods (ICFEM 2013). Vol. 8144 of Lecture Notes in Computer Science. Pages 265–280. Springer. 2013.
Details about Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML | BibTeX data for Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML | Download (pdf) of Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML
-
[61]
On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data
Mark Slaymaker‚ James Osborne‚ Andrew Simpson and David Gavaghan
In Systems and Synthetic Biology. Vol. 6. No. 1–2. Pages 35–49. 2012.
Details about On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data | BibTeX data for On an infrastructure to support sharing and aggregating pre− and post−publication systems biology research data | DOI (10.1007/s11693-012-9095-x)
-
[62]
Virtual experiments for reusable models
Jonathan Cooper‚ Gary Mirams‚ Mark Slaymaker‚ Andrew Simpson‚ Jon Olav Vik and Dagmar Waltemath
In Proceedings of VPH 2012. 2012.
Details about Virtual experiments for reusable models | BibTeX data for Virtual experiments for reusable models
-
[63]
On privacy and public data: A study of data.gov.uk
A. C. Simpson
In Journal of Privacy & Confidentiality. Vol. 3. No. 1. Pages 51–65. 2011.
Details about On privacy and public data: A study of data.gov.uk | BibTeX data for On privacy and public data: A study of data.gov.uk
-
[64]
Conformance checking of dynamic access control policies
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In Proceedings of the 13th International Conference on Formal Methods and Software Engineering (ICFEM 2011). Vol. 6255 of Lecture Notes in Computer Science. Pages 227–242. Springer. 2011.
Details about Conformance checking of dynamic access control policies | BibTeX data for Conformance checking of dynamic access control policies
-
[65]
Automatic conformance checking of role−based access control policies via Alloy
David Power‚ Mark Slaymaker and Andrew Simpson
In Proceedings of Engineering Secure Software and Systems (ESSoS 2011). Pages 15–28. Springer−Verlag Lecture Notes in Computer Science‚ volume 6542. 2011.
Details about Automatic conformance checking of role−based access control policies via Alloy | BibTeX data for Automatic conformance checking of role−based access control policies via Alloy
-
[66]
GIMI: The past‚ the present‚ and the future
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. E. Tromans‚ J. M. Brady and L. Tarassenko
In Philosophical Transactions of the Royal Society A: Mathematical‚ Physical and Engineering Sciences. Vol. 368. Pages 3891–3905. 2010.
Details about GIMI: The past‚ the present‚ and the future | BibTeX data for GIMI: The past‚ the present‚ and the future
-
[67]
On the secure sharing and aggregation of data to support Systems Biology research
Andrew Simpson‚ Mark Slaymaker and David Gavaghan
In Proceedings of the 7th International Conference on Data Integration in the Life Sciences (DILS 2010). Pages 58–73. Springer−Verlag Lecture Notes in Computer Science‚ volume 6254. 2010.
Details about On the secure sharing and aggregation of data to support Systems Biology research | BibTeX data for On the secure sharing and aggregation of data to support Systems Biology research
-
[68]
On the modelling and analysis of Amazon Web Services access policies
David Power‚ Mark Slaymaker and Andrew Simpson
In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 394. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010.
Details about On the modelling and analysis of Amazon Web Services access policies | BibTeX data for On the modelling and analysis of Amazon Web Services access policies
-
[69]
Formalising and validating RBAC−to−XACML translation using lightweight formal methods
Mark Slaymaker‚ David Power and Andrew Simpson
In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 349–362. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010.
Details about Formalising and validating RBAC−to−XACML translation using lightweight formal methods | BibTeX data for Formalising and validating RBAC−to−XACML translation using lightweight formal methods
-
[70]
Towards Formally Templated Relational Database Representations in Z
N. Wu and A. C. Simpson
In Proceedings of the 2nd International Conference on Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Vol. 5977 of Lecture Notes in Computer Science. Pages 363–376. Springer. 2010.
Details about Towards Formally Templated Relational Database Representations in Z | BibTeX data for Towards Formally Templated Relational Database Representations in Z
-
[71]
On the modelling and analysis of Amazon Web Services access policies
David Power‚ Mark Slaymaker and Andrew Simpson
No. RR−09−15. Oxford University Computing Laboratory. November, 2009.
Details about On the modelling and analysis of Amazon Web Services access policies | BibTeX data for On the modelling and analysis of Amazon Web Services access policies | Download (pdf) of On the modelling and analysis of Amazon Web Services access policies
-
[72]
On formalising and normalising role−based access control systems
D. J. Power M. A. Slaymaker and A. C. Simpson
In The Computer Journal. Vol. 52. No. 3. Pages 305−325. 2009.
Details about On formalising and normalising role−based access control systems | BibTeX data for On formalising and normalising role−based access control systems | DOI (doi:10.1093/comjnl/bxn016)
-
[73]
GIMI: the past‚ the present‚ and the future
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ V. Bailey‚ C. Tromans‚ J. M. Brady and L. Tarassenko
In Proceedings of the 2009 UK e−Science All Hands Meeting. 2009.
Details about GIMI: the past‚ the present‚ and the future | BibTeX data for GIMI: the past‚ the present‚ and the future
-
[74]
On the construction and verification of self−modifying access control policies
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In Proceedings of the 6th VLDB Workshop on Secure Data Management (SDM 2009). Vol. 5776 of Lecture Notes in Computer Science. Pages 107–121. Springer. 2009.
Details about On the construction and verification of self−modifying access control policies | BibTeX data for On the construction and verification of self−modifying access control policies
-
[75]
On the utilisation of a service−oriented infrastructure to support radiologist training
A. C. Simpson‚ M. A. Slaymaker‚ M. Yap‚ A. G. Gale‚ D. J. Power and D. Russell
In Proceedings of the 22nd IEEE Symposium on Computer−Based Medical Systems (CBMS 2009). Pages 1–4. IEEE Computer Society Press. 2009.
Details about On the utilisation of a service−oriented infrastructure to support radiologist training | BibTeX data for On the utilisation of a service−oriented infrastructure to support radiologist training
-
[76]
On the secure sharing of legacy data
D. Russell‚ D. J. Power‚ M. A. Slaymaker‚ G. K. Kouadri Mostefaoui‚ X. Ma and A. C. Simpson
In Proceedings of the 6th International Conference on IT: Next Generation (ITNG 2009). Pages 1676–1679. IEEE. 2009.
Details about On the secure sharing of legacy data | BibTeX data for On the secure sharing of legacy data
-
[77]
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri−Mostefaoui‚ X. Ma and G. Wilson
In Studies in Health Technology and Informatics. Vol. 138. Pages 3–12. 2008.
Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
-
[78]
On Quality Assurance of Web Services in Agile Projects: An Experience Report
G. Kouadri Mostefaoui and A. C. Simpson
In Proceedings of the 3rd ACM Workshop on Software Engineering for Pervasive Services (SEPS 2008). Pages 21–26. ACM. 2008.
Details about On Quality Assurance of Web Services in Agile Projects: An Experience Report | BibTeX data for On Quality Assurance of Web Services in Agile Projects: An Experience Report
-
[79]
The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography
C. Tromans‚ J. M. Brady‚ D. J. Power‚ M. A. Slaymaker‚ D. Russell and A. C. Simpson
In Proceedings of MICCAI−Grid 2008. Pages 43–52. 2008.
Details about The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography | BibTeX data for The Application of a Service−Oriented Infrastructure to Support Medical Research in Mammography
-
[80]
On the facilitation of fine−grained access to distributed healthcare data
D. Russell M. A. Slaymaker D. J. Power and A. C. Simpson
In Proceedings of Secure Data Management 2008. 2008.
Details about On the facilitation of fine−grained access to distributed healthcare data | BibTeX data for On the facilitation of fine−grained access to distributed healthcare data
-
[81]
On the need for user−defined fine−grained access control policies for social networking applications
A. C. Simpson
In Proceedings of the 2008 workshop on Security in Opportunistic and SOCial networks (SOSOC 2008). Pages Article number 1. ACM. 2008.
Details about On the need for user−defined fine−grained access control policies for social networking applications | BibTeX data for On the need for user−defined fine−grained access control policies for social networking applications
-
[82]
A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri−Mostefaoui‚ X. Ma and G. Wilson
In Proceedings of HealthGrid 2008. 2008.
Details about A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries | BibTeX data for A healthcare−driven framework for facilitating the secure sharing of data across organisational boundaries
-
[83]
On formal descriptions of synchronization requirements in multimedia systems
A. C. M. Fong and A. C. Simpson
In Proceedings of the 5th International Conference on IT: Next Generation (ITNG 2009). Pages 1255−1256. IEEE. 2008.
Details about On formal descriptions of synchronization requirements in multimedia systems | BibTeX data for On formal descriptions of synchronization requirements in multimedia systems
-
[84]
Accessing and aggregating legacy data sources for healthcare research‚ delivery and training
M. A. Slaymaker‚ D. J. Power‚ D. Russell‚ G. Wilson and A. C. Simpson
In Proceedings of SAC 2008. 2008.
Details about Accessing and aggregating legacy data sources for healthcare research‚ delivery and training | BibTeX data for Accessing and aggregating legacy data sources for healthcare research‚ delivery and training
-
[85]
Towards a formal framework for workflow interoperability
S. D. Induruwa Fernando and A. C. Simpson
In Proceedings of WS−FM (Web Services and Formal Methods) 2008. Vol. 5387 of Lecture Notes in Computer Science. Pages 158–174. Springer. 2008.
Details about Towards a formal framework for workflow interoperability | BibTeX data for Towards a formal framework for workflow interoperability
-
[86]
The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training
A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. A. Slaymaker‚ G. Kouadri Mostefaoui‚ G. Wilson and X. Ma
In K. Khan, editor, Managing Web Services Quality: Measuring Outcomes and Effectiveness. Pages 1–22. Idea Group. 2008.
Details about The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training | BibTeX data for The development‚ testing‚ and deployment of a web services infrastructure for distributed healthcare delivery‚ research‚ and training
-
[87]
Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling
S. Lloyd‚ D. J. Gavaghan‚ A. C. Simpson‚ C. Mascord M. Sieunarine‚ G. Williams‚ J. Pitt−Francis‚ D. R. S. Boyd‚ D. Mac Randal‚ L. Sastry‚ K. Nagella S. Weeks‚ R. Fowler‚ D. Hanlon‚ J. Handley and G. de Fabritis
In Future Generation Computer Systems. Vol. 23. No. 3. Pages 457–465. March, 2007.
Details about Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling | BibTeX data for Integrative Biology: The challenges of developing a collaborative research environment for heart and cancer modelling
-
[88]
On the development of secure service−oriented architectures to support medical research
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker‚ D. Russell and M. Katzarova
In International Journal of Healthcare Information Systems and Informatics. Vol. 2. No. 2. Pages 75–89. 2007.
Details about On the development of secure service−oriented architectures to support medical research | BibTeX data for On the development of secure service−oriented architectures to support medical research
-
[89]
Practical Experiences of Testing Web Services
G. Kouadri Mostefaoui and A. C. Simpson
In Proceedings of the 5th International Workshop on SOA and Web Services Best Practices. 2007.
Details about Practical Experiences of Testing Web Services | BibTeX data for Practical Experiences of Testing Web Services
-
[90]
Empirical analysis and optimization of an NP−hard problem using CSP and FDR
D. A. Creager and A. C. Simpson
In Proceedings of the 2007 Brazilian Symposium on Formal Methods (SBMF 2007). 2007.
Details about Empirical analysis and optimization of an NP−hard problem using CSP and FDR | BibTeX data for Empirical analysis and optimization of an NP−hard problem using CSP and FDR
-
[91]
Switched lightpaths for e−health applications: Issues and challenges
L. Momtahan‚ S. Lloyd and A. C. Simpson
In Proceedings of the 20th IEEE Symposium on Computer−Based Medical Systems (CBMS 2007). Pages 459–464. IEEE Computer Society Press. 2007.
Details about Switched lightpaths for e−health applications: Issues and challenges | BibTeX data for Switched lightpaths for e−health applications: Issues and challenges
-
[92]
Exploitation of switched lightpaths for e−health: Constraints and challenges
L. Momtahan and A. C. Simpson
In Lighting the blue touchpaper for UK e−Science: Closing conference of ESLEA project. Proceedings of Science. 2007.
Details about Exploitation of switched lightpaths for e−health: Constraints and challenges | BibTeX data for Exploitation of switched lightpaths for e−health: Constraints and challenges
-
[93]
Developing collaborative technology for neuro−science
S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ J. Geddes‚ A. Khanban and J. Palmer
In Proceedings of CollaborateCom 2007. 2007.
Details about Developing collaborative technology for neuro−science | BibTeX data for Developing collaborative technology for neuro−science
-
[94]
Towards build−time interoperability of workflow definition languages
S. D. Induruwa−Fernando‚ D. A. Creager and A. C. Simpson
In Proceedings of the 9th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNSAC 2007). Pages 525–532. IEEE. 2007.
Details about Towards build−time interoperability of workflow definition languages | BibTeX data for Towards build−time interoperability of workflow definition languages
-
[95]
Using CSP to model the synchronization process of variable length codes
A. C. M. Fong and A. C. Simpson
In IEEE Proc. Communications. Vol. 153. No. 2. Pages 195–200. April, 2006.
Details about Using CSP to model the synchronization process of variable length codes | BibTeX data for Using CSP to model the synchronization process of variable length codes
-
[96]
Designing for e−health: recurring scenarios in developing grid−based medical imaging systems
J. Ure‚ J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Jirotka‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ Y. Chen‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercock‚ J. Palmer‚ D. Perry‚ R. Procter‚ M. Hartswood‚ R. Slack‚ A. Voss‚ K. Ho‚ P. Bath‚ W. Clarke and G. Watson
In Studies in Health Technology and Informatics. Vol. 120. Pages 336–347. 2006.
Details about Designing for e−health: recurring scenarios in developing grid−based medical imaging systems | BibTeX data for Designing for e−health: recurring scenarios in developing grid−based medical imaging systems
-
[97]
Securing web services for deployment in health grids
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson
In Future Generation Computer Systems. Vol. 22. No. 5. Pages 547–570. 2006.
Details about Securing web services for deployment in health grids | BibTeX data for Securing web services for deployment in health grids
-
[98]
Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi−scale models of colorectal cancer and treatment of individual patients
J. Pitt−Francis‚ D. Chen‚ M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ I. van Leeuwen‚ F. Reddington‚ P. Quirke and D. J. Gavaghan
In Computational & Mathematical Methods in Medicine. Vol. 7. No. &23. Pages 177–188. 2006.
Details about Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi−scale models of colorectal cancer and treatment of individual patients | BibTeX data for Multimodal imaging techniques for the extraction of detailed geometrical and physiological information for use in multi−scale models of colorectal cancer and treatment of individual patients
-
[99]
Collaboration and trust in healthcare innovation: the eDiaMoND case study
M. Jirotka‚ M. Procter‚ R. Hartswood‚ C. Slack‚ A. C. Simpson‚ C. Coopmans‚ C. Hinds and A. Voss
In Computer Supported Cooperative Work. Vol. 14. Pages 369–398. 2006.
Details about Collaboration and trust in healthcare innovation: the eDiaMoND case study | BibTeX data for Collaboration and trust in healthcare innovation: the eDiaMoND case study
-
[100]
Switched lightpaths for e−health applications: a feasibility study
L. Momtahan and A. C. Simpson
In Proceedings of the 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006). Pages 469–472. IEEE Computer Society Press. 2006.
Details about Switched lightpaths for e−health applications: a feasibility study | BibTeX data for Switched lightpaths for e−health applications: a feasibility study
-
[101]
A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care
M. A. Slaymaker‚ A. C. Simpson‚ J. M. Brady‚ D. J. Gavaghan‚ F. Reddington and P. Quirke
In Proceedings of the IEEE Symposium on Computer Based Medical Systems. IEEE Computer Society Press. 2006.
Details about A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care | BibTeX data for A prototype infrastructure for the secure aggregation of imaging and pathology data for colorectal cancer care
-
[102]
On tracker attacks in health grids
A. C. Simpson‚ D. J. Power and M. A. Slaymaker
In Proceedings of the Annual ACM Symposium on Applied Computing (SAC '06). Pages 209–216. ACM Press. 2006.
Details about On tracker attacks in health grids | BibTeX data for On tracker attacks in health grids
-
[103]
Logic‚ damned logic‚ and statistics
A. C. Simpson
In Proceedings of Teaching Formal Methods 2006. 2006.
Details about Logic‚ damned logic‚ and statistics | BibTeX data for Logic‚ damned logic‚ and statistics
-
[104]
The utilisation of clinical data in research health grids: eDiaMoND as a case study
S. Lloyd and A. C. Simpson
In Proceedings of HealthCare 2006. 2006.
Details about The utilisation of clinical data in research health grids: eDiaMoND as a case study | BibTeX data for The utilisation of clinical data in research health grids: eDiaMoND as a case study
-
[105]
Delegation in a distributed healthcare context: a survey of current approaches
M. Katzarova and A. C. Simpson
In Proceedings of the 9th Information Security Conference 2006. Vol. 4176 of Lecture Notes in Computer Science. Pages 517–529. Springer. 2006.
Details about Delegation in a distributed healthcare context: a survey of current approaches | BibTeX data for Delegation in a distributed healthcare context: a survey of current approaches
-
[106]
The challenges of developing a collaborative data and compute grid for Neurosciences
J. Geddes‚ C. Mackay‚ S. Lloyd‚ A. C. Simpson‚ D. J. Power‚ D. Russell‚ M. Katzarova‚ M. Rossor‚ N. Fox‚ J. Fletcher‚ D. Hill‚ K. McLeish‚ J. V. Hajnal‚ S. Lawrie‚ D. Job‚ A. McIntosh‚ J. Wardlaw‚ P. Sandercocka‚ J. Palmer‚ D. Perry‚ R. Procter‚ J. Ure‚ P. Bath and G. Watson
In Proceedings of the 19th IEEE Symposium on Computer Based Medical Systems (CBMS 2006). Pages 81–86. IEEE Computer Society Press. 2006.
Details about The challenges of developing a collaborative data and compute grid for Neurosciences | BibTeX data for The challenges of developing a collaborative data and compute grid for Neurosciences
-
[107]
A fully generic‚ graph−based approach to data transformation discovery
D. A. Creager and A. C. Simpson
In Proceedings of GMC (Graph Computation Models) 2006. 2006.
Details about A fully generic‚ graph−based approach to data transformation discovery | BibTeX data for A fully generic‚ graph−based approach to data transformation discovery
-
[108]
Towards a fully generic theory of data
D. A. Creager and A. C. Simpson
In Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM 2006). Vol. 4260 of Lecture Notes in Computer Science. Pages 304–323. Springer. 2006.
Details about Towards a fully generic theory of data | BibTeX data for Towards a fully generic theory of data
-
[109]
Towards a Grid Infrastructure to support integrative approaches to biological research
D. J. Gavaghan‚ A. C. Simpson‚ S. Lloyd‚ D. F. Mac Randal and D. R. S. Boyd
In Philosophical Transactions of the Royal Society A: Mathematical‚ Physical and Engineering Sciences. Vol. 363. No. 1883. Pages 1829–1841. August, 2005.
Details about Towards a Grid Infrastructure to support integrative approaches to biological research | BibTeX data for Towards a Grid Infrastructure to support integrative approaches to biological research
-
[110]
Towards fine−grained access control in health grids
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou
In Proceedings of the Ottawa Workshop on New Challenges in Access Control. April, 2005.
Details about Towards fine−grained access control in health grids | BibTeX data for Towards fine−grained access control in health grids
-
[111]
Protecting Sensitive Patient Data via Query Modification
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the 20th ACM Symposium on Applied Computing. Pages 224−230. March, 2005.
Details about Protecting Sensitive Patient Data via Query Modification | BibTeX data for Protecting Sensitive Patient Data via Query Modification
-
[112]
Integrative Biology: exploiting e−Science to combat fatal diseases
S. Lloyd‚ A. C. Simpson‚ L. Sastry‚ D. J. Gavaghan and D. R.S. Boyd
In ERCIM News. Vol. 60. January, 2005.
Details about Integrative Biology: exploiting e−Science to combat fatal diseases | BibTeX data for Integrative Biology: exploiting e−Science to combat fatal diseases
-
[113]
Security Aspects of Grid−enabled Digital Mammography
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Methods of Information in Medicine. Vol. 44. No. 2. Pages 207–210. 2005.
Details about Security Aspects of Grid−enabled Digital Mammography | BibTeX data for Security Aspects of Grid−enabled Digital Mammography
-
[114]
Towards secure Grid−enabled healthcare
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker and A. C. Simpson
In Software: Practice and Experience. Vol. 35. No. 9. Pages 857–871. 2005.
Details about Towards secure Grid−enabled healthcare | BibTeX data for Towards secure Grid−enabled healthcare
-
[115]
Digital mammography: a world without film?
S. Lloyd‚ M. Jirotka‚ A. C. Simpson‚ R. P. Highnam‚ D. J. Gavaghan‚ D. Watson and J. M. Brady
In Methods of Information in Medicine. Vol. 44. No. 2. Pages 168–169. 2005.
Details about Digital mammography: a world without film? | BibTeX data for Digital mammography: a world without film?
-
[116]
Project management in multi−disciplinary collaborative research
S. Lloyd and A. C. Simpson
In Proceedings of IPCC (International Professional Communication Conference) 2005‚ Limerick. Pages 602–611. 2005.
Details about Project management in multi−disciplinary collaborative research | BibTeX data for Project management in multi−disciplinary collaborative research
-
[117]
GIMI: Generic Infrastructure for Medical Informatics
A. C. Simpson‚ D. J. Power‚ M. A. Slaymaker and E. A. Politou
In Proceedings of the 18th IEEE Symposium on Computer−Based Medical Systems (CBMS 2005). Pages 564–566. IEEE Computer Society Press. 2005.
Details about GIMI: Generic Infrastructure for Medical Informatics | BibTeX data for GIMI: Generic Infrastructure for Medical Informatics
-
[118]
On deducibility and anonymisation in medical databases
D. J. Power‚ M. A. Slaymaker and A. C. Simpson
In W. Jonker and M. Petkovic, editors, Proceedings of Secure Data Management 2005. Vol. 3674 of Lecture Notes in Computer Science. Pages 170–184. Springer. 2005.
Details about On deducibility and anonymisation in medical databases | BibTeX data for On deducibility and anonymisation in medical databases
-
[119]
A secure wrapper for OGSA−DAI
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the European Grid Conference‚ 2005. Vol. 3470 of Lecture Notes in Computer Science. Pages 485–494. Springer. 2005.
Details about A secure wrapper for OGSA−DAI | BibTeX data for A secure wrapper for OGSA−DAI
-
[120]
On XACML‚ role−based access control‚ and health grids
D. J. Power‚ M. A. Slaymaker‚ E. A. Politou and A. C. Simpson
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about On XACML‚ role−based access control‚ and health grids | BibTeX data for On XACML‚ role−based access control‚ and health grids
-
[121]
Exploitation of switched lightpaths for e−health
L. Momtahan and A. C. Simpson
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about Exploitation of switched lightpaths for e−health | BibTeX data for Exploitation of switched lightpaths for e−health
-
[122]
The Integrative Biology Infrastructure
D. Mac Randal‚ L. Sastry‚ D. Hanlon‚ D. J. Gavaghan‚ S. Lloyd and A. C. Simpson
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about The Integrative Biology Infrastructure | BibTeX data for The Integrative Biology Infrastructure
-
[123]
Managing collaborative expertise: issues and challenges
I. Kinti‚ S. Lloyd‚ A. C. Simpson and G. Hayward
In Proceedings of OKLC 2005‚ Boston‚ MA. 2005.
Details about Managing collaborative expertise: issues and challenges | BibTeX data for Managing collaborative expertise: issues and challenges
-
[124]
NeuroGrid: collaborative neuroscience via grid computing
J. Geddes‚ S. Lloyd‚ A. C. Simpson‚ M. Rossor‚ N. Fox‚ D. Hill‚ J. Hajnal‚ S. Lawrie‚ A. McIntosh‚ E. Johnstone‚ J. Wardlaw‚ D. Perry‚ R. Procter‚ P. Bath and E. Bullimore
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about NeuroGrid: collaborative neuroscience via grid computing | BibTeX data for NeuroGrid: collaborative neuroscience via grid computing
-
[125]
NeuroGrid: using grid technology to advance neuroscience
J. Geddes‚ S. Lloyd‚ A. C. Simpson‚ M. Rossor‚ N. Fox‚ D. Hill‚ J. V. Hajnal‚ S. Lawrie‚ A. McIntosh‚ E. Johnstone‚ J. Wardlaw‚ D. Perry‚ R. Procter‚ P. Bath and E. Bullimore
In Proceedings of the 18th IEEE Symposium on Computer−Based Medical Systems. Pages 570–573. IEEE Computer Society Press. 2005.
Details about NeuroGrid: using grid technology to advance neuroscience | BibTeX data for NeuroGrid: using grid technology to advance neuroscience
-
[126]
VRE for the Integrative Biology research consortium
M. J. Dovey‚ M. Mascord‚ D. J. Gavaghan‚ S. Lloyd‚ A. C. Simpson‚ G. Williams and D. Mac Randal
In Proceedings of the 2005 UK e−Science All Hands Meeting. 2005.
Details about VRE for the Integrative Biology research consortium | BibTeX data for VRE for the Integrative Biology research consortium
-
[127]
A vision for secure grid−enabled healthcare
M. A. Slaymaker‚ D. J Power‚ E. A. Politou and A. C. Simpson
In Workshop on Grid Security Practice and Experience. Technical Report YCS−2004−380‚ University of York. June, 2004.
Details about A vision for secure grid−enabled healthcare | BibTeX data for A vision for secure grid−enabled healthcare
-
[128]
Security principles for public−resource modeling research
D. A. Stainforth‚ A. P. Martin‚ A. C. Simpson‚ C. A. Christensen‚ J. Kettleborough‚ T. Aina and M. R. Allen
In Proceedings of the IEEE International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE−2004). Pages 319–324. 2004.
Details about Security principles for public−resource modeling research | BibTeX data for Security principles for public−resource modeling research
-
[129]
eDiaMoND: risk analysis
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.
Details about eDiaMoND: risk analysis | BibTeX data for eDiaMoND: risk analysis
-
[130]
Security aspects of grid−based digital mammography
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power‚ S. Lloyd and A. C. Simpson
In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.
Details about Security aspects of grid−based digital mammography | BibTeX data for Security aspects of grid−based digital mammography
-
[131]
e−health security issues: the eDiaMoND perspective
M. A. Slaymaker‚ E. A. Politou‚ D. J. Power and S. Lloyd
In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.
Details about e−health security issues: the eDiaMoND perspective | BibTeX data for e−health security issues: the eDiaMoND perspective
-
[132]
An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson
In Proceedings of the 19th ACM Symposium on Applied Computing. Pages 272–279. 2004.
Details about An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases | BibTeX data for An Approach to the Storage of DICOM files for Grid−Enabled Medical Imaging Databases
-
[133]
eDiaMoND: challenges for the e−scientist in the e−health domain
S. Lloyd‚ A. C. Simpson‚ D. J. Gavaghan and J. M. Brady
In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.
Details about eDiaMoND: challenges for the e−scientist in the e−health domain | BibTeX data for eDiaMoND: challenges for the e−scientist in the e−health domain
-
[134]
Digital mammography: a world without film?
S. Lloyd‚ M. Jirotka‚ A. C. Simpson‚ R. P. Highnam‚ D. J. Gavaghan‚ D. Watson and J. M. Brady
In Proceedings of HealthGrid 2004‚ Claremont‚ France. 2004.
Details about Digital mammography: a world without film? | BibTeX data for Digital mammography: a world without film?
-
[135]
Integrative Biology: exploiting e−Science to combat fatal diseases
D.J. Gavaghan‚ S. Lloyd‚ D. R. S. Boyd‚ P. W. Jeffreys‚ A. C. Simpson‚ D. F. Mac Randal‚ L. Sastry and K. Kleese van Dam
In Proceedings of the 2004 UK e−Science All Hands Meeting. 2004.
Details about Integrative Biology: exploiting e−Science to combat fatal diseases | BibTeX data for Integrative Biology: exploiting e−Science to combat fatal diseases
-
[136]
Teaching Formal Methods in Context
J. W. Davies‚ A. C. Simpson and A. P. Martin
In C. N. Dean and R. F. Boute, editors, Proceedings of CoLogNet / Formal Methods Europe Symposium on Teaching Formal Methods 2004. Vol. 3294 of Lecture Notes in Computer Science. Pages 186–202. Springer. 2004.
Details about Teaching Formal Methods in Context | BibTeX data for Teaching Formal Methods in Context
-
[137]
eDiaMoND: the UK's national digital mammography database
J. M. Brady‚ F. Gilbert‚ S. Lloyd‚ M. Jirotka‚ D. J. Gavaghan‚ A. C. Simpson‚ R. P. Highnam‚ T. Bowles‚ D. Schottlander‚ D. McCabe‚ D. Watson‚ B. Collins‚ J. Williams‚ A. Knox‚ M. Oevers and P. Taylor
In Proceedings of IWDM 2004. 2004.
Details about eDiaMoND: the UK's national digital mammography database | BibTeX data for eDiaMoND: the UK's national digital mammography database
-
[138]
Generalizing the Z Schema Calculus: Database Schemas and Beyond
A. P. Martin and A. C. Simpson
In Proceedings of the 10th Asia−Pacific Software Engineering Conference (APSEC 2003). Pages 28–37. IEEE. 2003.
Details about Generalizing the Z Schema Calculus: Database Schemas and Beyond | BibTeX data for Generalizing the Z Schema Calculus: Database Schemas and Beyond
-
[139]
On the supervision and assessment of part−time postgraduate software engineering projects
A C. Simpson‚ A. P. Martin‚ J. Gibbons‚ J. W. Davies and S. W. McKeever
In Proceedings of the 25th International Conference on Software Engineering (ICSE)‚ Portland‚ Oregon‚ 3–10 May‚ 2003. Pages 628–633. IEEE Computer Society Press. 2003.
Details about On the supervision and assessment of part−time postgraduate software engineering projects | BibTeX data for On the supervision and assessment of part−time postgraduate software engineering projects
-
[140]
Supplementing the understanding of Z: a formal approach to database design
A. C. Simpson and A. P. Martin
In Proceedings of the BCS Teaching Formal Methods workshop. BCS. 2003.
Details about Supplementing the understanding of Z: a formal approach to database design | BibTeX data for Supplementing the understanding of Z: a formal approach to database design
-
[141]
An approach to the storage of DICOM files for grid−enabled medical imaging databases
D. J. Power‚ E. A. Politou‚ M. A. Slaymaker‚ S. Harris and A. C. Simpson
In Proceedings of the 2003 UK e−Science All Hands Meeting. 2003.
Details about An approach to the storage of DICOM files for grid−enabled medical imaging databases | BibTeX data for An approach to the storage of DICOM files for grid−enabled medical imaging databases
-
[142]
Grid computing for digital mammography
J. M. Brady‚ D. J. Gavaghan‚ R. P. Highnam‚ A. Knox‚ S. Lloyd‚ A. C. Simpson and D. Watson
In Proceedings of the 2003 UK e−Science All Hands Meeting. 2003.
Details about Grid computing for digital mammography | BibTeX data for Grid computing for digital mammography
-
[143]
eDiaMoND: A Grid−enabled federated database of annotated mammograms
J. M. Brady‚ D. J. Gavaghan‚ A. C. Simpson‚ M. Mulet−Parada and R. P. Highnam
In F. Berman‚ G. C. Fox and A. J. G. Hey, editors, Grid Computing: Making the Global Infrastructure a Reality. Pages 923–943. Wiley Series. 2003.
Details about eDiaMoND: A Grid−enabled federated database of annotated mammograms | BibTeX data for eDiaMoND: A Grid−enabled federated database of annotated mammograms
-
[144]
Discrete Mathematics by Example
A. C. Simpson
McGraw−Hill. 2002.
Details about Discrete Mathematics by Example | BibTeX data for Discrete Mathematics by Example
-
[145]
Climateprediction.net: design principles for public resource modelling research
D. Stainforth‚ J. Kettleborough‚ A. P. Martin‚ A. C. Simpson‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. J. Gavaghan and M. Allen
In Proc. 14th IASTED conference on parallel and distributed computing systems.. 2002.
Details about Climateprediction.net: design principles for public resource modelling research | BibTeX data for Climateprediction.net: design principles for public resource modelling research
-
[146]
climateprediction.com: security and design planning
D. Stainforth‚ J. A. Kettleborough‚ A. P. Martin‚ A. C. Simpson‚ A. P. Martin‚ R. Gillis‚ A. Akkas‚ R. Gault‚ M. Collins‚ D. J. Gavaghan and M. Allen
In Proceedings of the 2002 UK e−Science All Hands Meeting. 2002.
Details about climateprediction.com: security and design planning | BibTeX data for climateprediction.com: security and design planning
-
[147]
eDiamond: Digital Mammography
J. M. Brady‚ D. J. Gavaghan‚ R. P. Highnam‚ M. Mulet−Parada and A. C. Simpson
In Proceedings of the 2002 UK e−Science All Hands Conference. 2002.
Details about eDiamond: Digital Mammography | BibTeX data for eDiamond: Digital Mammography
-
[148]
BSP in CSP: Easy as ABC
A. C. Simpson‚ J. M. D. Hill and S. R. Donaldson
In Proceedings of Fourth International Workshop on Formal Methods for Parallel Programming: Theory and Applications‚ San Juan‚ Puerto Rico‚ April 1999. Pages 1299–1313. Springer. 1999.
Details about BSP in CSP: Easy as ABC | BibTeX data for BSP in CSP: Easy as ABC
-
[149]
Towards the mechanical verification of moving block signalling systems
A. C. Simpson
No. CMS−TR−99−06. School of Computing and Mathematical Sciences‚ Oxford Brookes University. 1999.
Details about Towards the mechanical verification of moving block signalling systems | BibTeX data for Towards the mechanical verification of moving block signalling systems
-
[150]
Model Checking for Interlocking Safety
A. C. Simpson
In Proceedings of the 2nd FMERail Seminar‚ 15–16 October 1998‚ London‚ United Kingdom. 1998.
Details about Model Checking for Interlocking Safety | BibTeX data for Model Checking for Interlocking Safety
-
[151]
Security management via Z and CSP
A. C. Simpson‚ J. W. Davies and J. C. P. Woodcock
In Proceedings of Formal Methods Pacific '98‚ Canberra‚ Australia‚ 29 September – 2 October‚ 1998. Pages 334–351. Springer Series in Discrete Mathematics and Theoretical Computer Science. 1998.
Details about Security management via Z and CSP | BibTeX data for Security management via Z and CSP
-
[152]
Safety through Security
A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies
In Proceedings of the 9th International Workshop on Software Specification and Design. Pages 18–24. IEEE Computer Society Press. 1998.
Details about Safety through Security | BibTeX data for Safety through Security
-
[153]
The Mechanical Verification of Solid State Interlocking Geographic Data
A. C. Simpson‚ J. C. P. Woodcock and J. W. Davies
In L. Groves and S. Reeves, editors, Proceedings of Formal Methods Pacific‚ Wellington‚ New Zealand‚ 9–11 July. Pages 223–242. Springer. 1997.
Details about The Mechanical Verification of Solid State Interlocking Geographic Data | BibTeX data for The Mechanical Verification of Solid State Interlocking Geographic Data
-
[154]
A Novel Data Mining Tool for ATM Networks
K. E. Burn−Thornton‚ D. M. Cattrall and A. C. Simpson
In Proceedings of IEE conference on Data Mining. 1996.
Details about A Novel Data Mining Tool for ATM Networks | BibTeX data for A Novel Data Mining Tool for ATM Networks
-
[155]
Polymorphic Functions for Data Mining in an ATM Network
K. E. Burn−Thornton‚ D. M. Cattrall and A. C. Simpson
In Proceedings of the 4th IFIP conference on ATM Networks. 1996.
Details about Polymorphic Functions for Data Mining in an ATM Network | BibTeX data for Polymorphic Functions for Data Mining in an ATM Network
-
[156]
Safety through Security
A. C. Simpson
DPhil thesis‚ Oxford University Computing Laboratory. 1996.
Details about Safety through Security | BibTeX data for Safety through Security
-
[157]
Railway Signalling as a case study in Safety through Determinism
A. C. Simpson
In Proceedings of Aspect 1995. Institution of Railway Signal Engineers. 1995.
Details about Railway Signalling as a case study in Safety through Determinism | BibTeX data for Railway Signalling as a case study in Safety through Determinism
-
[158]
The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
A. C. Simpson
In Proceedings of the 1995 IEE Colloquium on Communication Networks in Transportation. IEE. 1995.
Details about The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System | BibTeX data for The Application of Formal Methods to the Development of an ATP (Automatic Train Protection) System
-
[159]
A Formal Specification of an Automatic Train Protection System
A. C. Simpson
In M. Naftalin‚ T. Denvir and M. Bertran, editors, Proceedings of the 2nd International Symposium of Formal Methods Europe (FME 1994). Vol. 873 of Lecture Notes in Computer Science. Pages 602–617. Springer. 1994.
Details about A Formal Specification of an Automatic Train Protection System | BibTeX data for A Formal Specification of an Automatic Train Protection System