University of Oxford Logo University of OxfordDepartment of Computer Science - Home

MichaelĀ Goldsmith : Publications

By dateBy titleBy typeBibtex

[1]

Reasoning about Vulnerabilities in Dependent Information Infrastructures: A Cyber Range Experiment

Adedayo O. Adetoye‚ Sadie Creese and Michael H. Goldsmith

In 7th International Conference On Critical Information Infrastructures Security (CRITIS 2012). LNCS. September, 2012.

To appear

[2]

From Qualitative to Quantitative Information Erasure

Adedayo O. Adetoye and Michael H. Goldsmith

In International Workshop on Quantitative Aspects in Security Assurance (QASA 2012‚ colocated with ESORICS). September, 2012.

To appear

[3]

Identity attribution across CyberSpace and the Natural Space

D. Hodges‚ J.R.C. Nurse‚ M. Goldsmith and S. Creese

In The International Crime and Intelligence Analysis Conference. 2012.

[4]

A Data−Reachability Model for Elucidating Privacy and Security Risks Related to the Use of Online Social Networks

Sadie Creese‚ Michael Goldsmith‚ Jason R.C. Nurse and Elizabeth Phillips

In 11th IEEE International Conference on Trust‚ Security and Privacy in Computing and Communications (IEEE TrustCom−12). Pages 1124−1131. IEEE. 2012.

[5]

Using Information Trustworthiness Advice in Decision−Making

Jason R.C. Nurse‚ Sadie Creese‚ Michael Goldsmith and Koen Lamberts

In The 2nd Workshop on Socio−Technical Aspects in Security and Trust (STAST 2012) at The 25th IEEE Computer Security Foundations Symposium (CSF). IEEE. 2012.

[6]

An Initial Usability Evaluation of the Secure Situation Awareness System

Jason R.C. Nurse‚ Sadie Creese‚ Michael Goldsmith‚ R. Craddock and G. Jones

In The 9th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2012). IAS of ISCRAM. 2012.

[7]

A Logical High−Level Framework for Critical Infrastructure Resilience and Risk Assessment

Sadie Creese‚ Michael H. Goldsmith and Adedayo O. Adetoye

In The 3rd International Workshop on Cyberspace Safety and Security (CSS 2011). Milan‚ Italy. September, 2011. To appear.

[8]

Formalising Requirements for a Biobank Scenario using a Logic for Consent and Revocation

M. Goldsmith I. Agrafiotis S. Creese

In Proceedings of the IFIP Summer School 2011. September, 2011.

[9]

Accepting Information with a Pinch of Salt: Handling Untrusted Information Sources

Syed Sadiqur Rahman‚ Michael Goldsmith and Sadie Creese

In Proceedings of STM'11 7th International Workshop on Security and Trust Management. June, 2011.

[10]

Refinement Checking for Privacy Policies

S. Creese N. Papanikolaou M. Goldsmith

In Science of Computer Programming. 2011.

[11]

Developing a Strategy for Automated Privacy Testing Suites

M. Goldsmith I. Agrafiotis S. Creese

In Proceedings of the IFIP Summer School. , 2011.

[12]

Guidelines for Usable Cybersecurity: Past and Present

Jason R.C. Nurse‚ Sadie Creese‚ Michael Goldsmith and Koen Lamberts

In The 3rd International Workshop on Cyberspace Safety and Security (CSS 2011) at The 5th International Conference on Network and System Security (NSS 2011). IEEE. 2011.

[13]

Information Quality and Trustworthiness: A Topical State−of−the−Art Review

Jason R.C. Nurse‚ Syed Sadiqur Rahman‚ Sadie Creese‚ Michael Goldsmith and Koen Lamberts

In The International Conference on Computer Applications and Network Security (ICCANS) 2011. IEEE. 2011.

[14]

Trustworthy and Effective Communication of Cybersecurity Risks: A Review

Jason R.C. Nurse‚ Sadie Creese‚ Michael Goldsmith and Koen Lamberts

In The 1st Workshop on Socio−Technical Aspects in Security and Trust (STAST 2011) at The 5th International Conference on Network and System Security (NSS 2011). IEEE. 2011.

[15]

Inadequacies of Current Risk Controls for the Cloud

P. Hopkins M. Auty S. Creese M. Goldsmith

In Proceedings of CloudCom 2010. November, 2010.

[16]

Applying formal methods to describe the privacy−control requirements in real case−study scenario: emerging ambiguities and proposed solutions

N. Papanikolaou I. Agrafiotis S. Creese M. Goldsmith

In Proceedings of 2010 IFIP/PrimeLife Summer School. 2010.

[17]

EnCoRe: Towards a Holistic Approach to Privacy

S. Pearson N. Papanikolaou S. Creese M. Goldsmith M. Casassa Mont

In Proceedings of SECRYPT2010. 2010.

[18]

Defining Consent and Revocation Policies

S. Pearson I. Agrafiotis S. Creese M. Goldsmith N. Papanikolaou M Casassa Mont

In Proceedings of 2010 IFIP/PrimeLife Summer School. 2010.

[19]

A Modelling Approach for Interdependency in Digital Systems−of−Systems Security – Extended Abstract

M. Goldsmith A. Adetoye S. Creese

In Proceedings of CRITIS'10. 2010.

[20]

Refinement−Friendly Bigraphs and Spygraphs

S. Creese M. Goldsmith

In Proceedings of SEFM'10. 2010.

[21]

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data

N. Papanikolaou I. Agrafiotis S. Creese M. Goldsmith

In Privacy and Identity Management for Life‚ Proceedings of 5th PrimeLife/IFIP International Summer School. Springer IFIP AICT 320. 2009.

[22]

Ensuring Consent and Revocation: Towards a Taxonomy of Consent

N. Papnikolaou S. Creese M. Goldsmith

In Proceedings of WebSci'09: Society On−Line. 2009.

[23]

Requirements and Concepts for Information Assurance and Pervasive Adaptation Co−Design

M. Goldsmith S. Creese

In Proceedings of Pervasive Adaptation (PerAda) workshop‚ 2nd Conference on Self−Adapting and Self−Organizing Systems (SASO 2008). 2008.

[24]

Exploiting Empirical Engagement in Authentication Protocol Design

Sadie Creese‚ Michael Goldsmith‚ Richard Harrison‚ Bill Roscoe‚ Paul Whittaker and Irfan Zakiuddin

In Proceedings of SPPC 2005. May, 2005.

[25]

Authentication in pervasive computing

A. W. Roscoe‚ S.J. Creese‚ M.H. Goldsmith and I.Zakiuddin

In Proceedings of the First International Conference on Security in Pervasive Computing. LNCS. March, 2003.