Andrew Simpson : Publications

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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?

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

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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?

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

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

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

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

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

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

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

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

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

Discrete Mathematics by Example

A. C. Simpson

McGraw−Hill. 2002.

Details about Discrete Mathematics by Example | BibTeX data for Discrete Mathematics by Example

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

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

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

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

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

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

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

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

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

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

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

Safety through Security

A. C. Simpson

DPhil thesis‚ Oxford University Computing Laboratory. 1996.

Details about Safety through Security | BibTeX data for Safety through Security

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

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

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