Michael Goldsmith

发表

Bootstrapping multi-party ad-hoc security

Ming Xiao, Sadie Creese, Michael Goldsmith, 2006, SAC '06.

The perfect spy for model−checking crypto−protocols

Michael Goldsmith, 1997 .

Human Aspects of Information Security, Privacy, and Trust

Sadie Creese, Michael Goldsmith, Matthieu Devlin, 2015, Lecture Notes in Computer Science.

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

Sadie Creese, Michael Goldsmith, Syed Sadiqur Rahman, 2011, STM.

Predicting Graphical Passwords

Sadie Creese, Michael Goldsmith, Matthieu Devlin, 2015, HCI.

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, 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications.

Cloud Computing: Insider Attacks on Virtual Machines during Migration

Sadie Creese, Michael Goldsmith, Adrian Duncan, 2013, 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications.

A Conceptual Model for Privacy Policies with Consent and Revocation Requirements

Sadie Creese, Michael Goldsmith, Siani Pearson, 2010, PrimeLife.

Towards Designing a Multipurpose Cybercrime Intelligence Framework

Michael Goldsmith, Jason R. C. Nurse, Mariam Nouh, 2016, 2016 European Intelligence and Security Informatics Conference (EISIC).

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

Sadie Creese, Michael Goldsmith, Nick Papanikolaou, 2009, PrimeLife.

Cybercrime Investigators are Users Too! Understanding the Socio-Technical Challenges Faced by Law Enforcement pdf

Michael Goldsmith, Jason R. C. Nurse, Mariam Nouh, 2019, Proceedings 2019 Workshop on Usable Security.

A taxonomy of cyber-harms: Defining the impacts of cyber-attacks and understanding how they propagate

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2018, J. Cybersecur..

Secure Communication in Disasters

Andrew William Roscoe, Sadie Creese, Michael Goldsmith, 2012 .

Building Confidence in Information-Trustworthiness Metrics for Decision Support

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2013, 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications.

Modelling and analysis of security protocols

Michael Goldsmith, M. Goldsmith, 2001 .

Two sides of the coin: measuring and communicating the trustworthiness of online information

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2014, Journal of Trust Management.

Guidelines for usable cybersecurity: Past and present

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2011, 2011 Third International Workshop on Cyberspace Safety and Security (CSS).

RicherPicture: Semi-automated cyber defence using context-aware data analytics

Sadie Creese, Michael Goldsmith, Jassim Happa, 2017, 2017 International Conference On Cyber Situational Awareness, Data Analytics And Assessment (Cyber SA).

Identifying attack patterns for insider threat detection

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2015 .

EnCoRe: Towards a holistic approach to privacy

Sadie Creese, Michael Goldsmith, Siani Pearson, 2010, 2010 International Conference on Security and Cryptography (SECRYPT).

Watchdog Transformations for Property-Oriented Model-Checking

Michael Goldsmith, A. W. Roscoe, Nick Moffat, 2003, FME.

PB-PKI: A Privacy-aware Blockchain-based PKI

Michael Goldsmith, Louise Axon, M. Goldsmith, 2017, SECRYPT.

Towards a Conceptual Model and Reasoning Structure for Insider Threat Detection

Sadie Creese, Michael Goldsmith, Jassim Happa, 2013, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

Sonification Mappings: Estimating Effectiveness, Polarities and Scaling in an Online Experiment

Sadie Creese, Michael Goldsmith, Louise Axon, 2018 .

Sonification to Support the Monitoring Tasks of Security Operations Centres

Sadie Creese, Michael Goldsmith, Jassim Happa, 2021, IEEE Transactions on Dependable and Secure Computing.

Technology and Information Trust for Supporting Risky Decisions Based on Social-Media Content

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2015, 2015 IEEE International Conference on Computer and Information Technology; Ubiquitous Computing and Communications; Dependable, Autonomic and Secure Computing; Pervasive Intelligence and Computing.

Requirements and Concepts for Information Assurance and Pervasive Adaptation Co-design

Sadie Creese, Michael Goldsmith, 2008, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation

Sadie Creese, Michael Goldsmith, Ioannis Agrafiotis, 2011, PrimeLife.

An Algebraic Transformation System for Occam Programs

Michael Goldsmith, Geoff Barrett, A. Cox, 1987, STACS.

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements

Sadie Creese, Michael Goldsmith, Nick Papanikolaou, 2010, PrimeLife.

An initial usability evaluation of the secure situation awareness system

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2012, ISCRAM.

The Meaning and Implementation of SKIP in CSP

Michael Goldsmith, Thomas Gibson-Robinson, M. Goldsmith, 2013, CPA.

Towards a User and Role-based Sequential Behavioural Analysis Tool for Insider Threat Detection

Sadie Creese, Michael Goldsmith, Ioannis Agrafiotis, 2014, J. Internet Serv. Inf. Secur..

CyberVis: Visualizing the potential impact of cyber attacks on the wider enterprise

Sadie Creese, Michael Goldsmith, Jassim Happa, 2013, 2013 IEEE International Conference on Technologies for Homeland Security (HST).

Unwinding Ariadne's Identity Thread: Privacy Risks with Fitness Trackers and Online Social Networks

Michael Goldsmith, Jason R. C. Nurse, Angeliki Aktypi, 2017, MPS@CCS.

Wider Research Applications of Dynamic Consent

Michael Goldsmith, Harriet Teare, Arianna Schuler Scott, 2018, Privacy and Identity Management.

Communicating trustworthiness using radar graphs: A detailed look

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2013, 2013 Eleventh Annual Conference on Privacy, Security and Trust.

FDR2 user manual

Michael Goldsmith, M. Goldsmith, 2000 .

Recent Developments in FDR

Joël Ouaknine, James Worrell, Michael Goldsmith, 2012, CAV.

Understanding the Radical Mind: Identifying Signals to Detect Extremist Content on Twitter

Michael Goldsmith, Jason R. C. Nurse, Mariam Nouh, 2019, 2019 IEEE International Conference on Intelligence and Security Informatics (ISI).

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking

Michael Goldsmith, A. W. Roscoe, Nick Moffat, 2008, ICFEM.

An Assessment of the Security and Transparency Procedural Components of the Estonian Internet Voting System

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2017, HCI.

Anomaly Detection Using Pattern-of-Life Visual Metaphors

Sadie Creese, Michael Goldsmith, Jassim Happa, 2019, IEEE Access.

Civil Rico Reform: The Basis for Compromise.

Michael Goldsmith, 1987 .

Attack and Defence Modelling for Attacks via the Speech Interface

Michael Goldsmith, Ioannis Agrafiotis, Mary K. Bispham, 2019, ICISSP.

NetVis: a Visualization Tool Enabling Multiple Perspectives of Network Traffic Data

Sadie Creese, Michael Goldsmith, Jassim Happa, 2013, TPCG.

Automated Insider Threat Detection System Using User and Role-Based Profile Assessment

Sadie Creese, Michael Goldsmith, Oliver Buckley, 2017, IEEE Systems Journal.

Exploiting Empirical Engagement in Authentication Protocol Design

Sadie Creese, Michael Goldsmith, A. W. Roscoe, 2005, SPC.

Assumption-Commitment Support for CSP Model Checking

Michael Goldsmith, Nick Moffat, 2007, Electron. Notes Theor. Comput. Sci..

Nonsense Attacks on Google Assistant and Missense Attacks on Amazon Alexa

Michael Goldsmith, Ioannis Agrafiotis, Mary K. Bispham, 2019, ICISSP.

Supporting Human Decision-Making Online Using Information-Trustworthiness Metrics

Sadie Creese, Michael Goldsmith, Syed Sadiqur Rahman, 2013, HCI.

Smart Insiders: Exploring the Threat from Insiders Using the Internet-of-Things

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2015, 2015 International Workshop on Secure Internet of Things (SIoT).

A survey on screenlogger attacks as well as countermeasures

Michael Goldsmith, Samy Meftali, Jassim Happa, 2020, Int. J. Embed. Syst..

Formal methods in the development of the H1 transputer

Andrew William Roscoe, Michael Goldsmith, A. D. B. Cox, 1991 .

Authentication for Pervasive Computing

Sadie Creese, Michael Goldsmith, A. W. Roscoe, 2003, SPC.

Challenges to Process-Algebraic Property-Checking

Michael Goldsmith, 1999, PDPTA.

Refinement checking for privacy policies

Sadie Creese, Michael Goldsmith, Nikolaos Papanikolaou, 2012, Sci. Comput. Program..

Developing a Strategy for Automated Privacy Testing Suites

Sadie Creese, Michael Goldsmith, Ioannis Agrafiotis, 2011, PrimeLife.

A Critical Reflection on the Threat from Human Insiders - Its Nature, Industry Perceptions, and Detection Approaches

Sadie Creese, Michael Goldsmith, Monica T. Whitty, 2014, HCI.

Run-Time Monitoring of Data-Handling Violations

Sadie Creese, Michael Goldsmith, Jassim Happa, 2018, CyberICPS/SECPRE@ESORICS.

CSP: The Best Concurrent-System Description Language in the World - Probably!

Michael Goldsmith, 2004 .

Reflecting on the Use of Sonification for Network Monitoring

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2016, SECURWARE 2016.

Preface

Michael Goldsmith, A. W. Roscoe, 2009, Electron. Notes Theor. Comput. Sci..

Analysis of Dependencies in Critical Infrastructures

Sadie Creese, Michael Goldsmith, Adedayo Adetoye, 2011, CRITIS.

Trust Management XIII: 13th IFIP WG 11.11 International Conference, IFIPTM 2019, Copenhagen, Denmark, July 17-19, 2019, Proceedings

Sadie Creese, Michael Goldsmith, Helena Webb, 2019, IFIP Advances in Information and Communication Technology.

Investigating the leakage of sensitive personal and organisational information in email headers

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2015, J. Internet Serv. Inf. Secur..

Using Information Trustworthiness Advice in Decision Making

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2012, 2012 Workshop on Socio-Technical Aspects in Security and Trust.

Chapter Eight - Privacy Requirements in Cybersecurity Applications of Blockchain

Sadie Creese, Michael Goldsmith, Louise Axon, 2018, Adv. Comput..

Validating an Insider Threat Detection System: A Real Scenario Perspective

Sadie Creese, Michael Goldsmith, Jassim Happa, 2016, 2016 IEEE Security and Privacy Workshops (SPW).

A Pragmatic System-failure Assessment and Response Model

Sadie Creese, Michael Goldsmith, Jassim Happa, 2016, ICISSP.

Leveraging temporal patterns in physiological variables for prediction of critical events in single ventricle infants

Rich Tsui, Michael Goldsmith, Jorge A. Gálvez, 2019, AMIA.

A Survey of Keylogger and Screenlogger Attacks in the Banking Sector and Countermeasures to Them

Michael Goldsmith, Samy Meftali, Jassim Happa, 2018, CSS.

Implementing Data−Independence: Symbolic Operational Semantics for CSP_M

Michael Goldsmith, 2002 .

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

Sadie Creese, Michael Goldsmith, Adedayo Adetoye, 2010, CRITIS.

Inadequacies of Current Risk Controls for the Cloud

Sadie Creese, Michael Goldsmith, Paul Hopkins, 2010, 2010 IEEE Second International Conference on Cloud Computing Technology and Science.

Denotational semantics for occam 2

Michael Goldsmith, M. Goldsmith, 1993 .

A logical high-level framework for Critical Infrastructure resilience and risk assessment

Sadie Creese, Michael Goldsmith, Adedayo Adetoye, 2011, 2011 Third International Workshop on Cyberspace Safety and Security (CSS).

A Model for Identity in the Cyber and Natural Universes

Sadie Creese, Michael Goldsmith, Duncan Hodges, 2012, 2012 European Intelligence and Security Informatics Conference.

Hearing attacks in network data: An effectiveness study

Sadie Creese, Michael Goldsmith, Jassim Happa, 2019, Comput. Secur..

A Methodology for Model-Checking Ad-hoc Networks

Michael Goldsmith, Paul H. B. Gardiner, Irfan Zakiuddin, 2003, SPIN.

Analytics for characterising and measuring the naturalness of online personae

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2016, Security Informatics.

Quarterly Progress Report Number 5 for Contract N00014-93-C-0213 (Formal Systems Design and Development, Inc.).

Michael Goldsmith, 1995 .

Refinement-Friendly Bigraphs and Spygraphs

Sadie Creese, Michael Goldsmith, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

Applying Semantic Technologies to Fight Online Banking Fraud

Sadie Creese, Michael Goldsmith, Rodrigo Carvalho, 2015, 2015 European Intelligence and Security Informatics Conference.

The Oxford occam transformation system

Michael Goldsmith, 1988 .

Visual Analytics of E-mail Sociolinguistics for User Behavioural Analysis

Sadie Creese, Michael Goldsmith, Philip A. Legg, 2014, J. Internet Serv. Inf. Secur..

An Ethics Framework for Research into Heterogeneous Systems

Sadie Creese, Michael Goldsmith, Jassim Happa, 2018, IoT 2018.

Tag clouds with a twist: using tag clouds coloured by information’s trustworthiness to support situational awareness

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2015, Journal of Trust Management.

#ISIS vs #ActionCountersTerrorism: A Computational Analysis of Extremist and Counter-extremist Twitter Narratives

Michael Goldsmith, Jason R. C. Nurse, Fatima Zahrah, 2020, 2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW).

Parallelization of FDR

Michael Goldsmith, 2002 .

Black-Box Attacks via the Speech Interface Using Linguistically Crafted Input

Michael Goldsmith, Alastair Janse van Rensburg, Ioannis Agrafiotis, 2019, ICISSP.

Assumption–Commitment Support for CSP Model Checking

Michael Goldsmith, Nick Moffat, M. Goldsmith, 2006, Journal of Automated Reasoning.

Improving the Effectiveness of CSIRTs

Sadie Creese, Michael Goldsmith, Chris J. Mitchell, 2017 .

An overview of insider attacks in cloud computing

Sadie Creese, Michael Goldsmith, Adrian J. Duncan, 2015, Concurr. Comput. Pract. Exp..

Classifying unbounded nondeterminism in CSP

Michael Goldsmith, Geoff Barrett, M. Goldsmith, 1991 .

Beyond Mobility : What Next After CSP/pi?

Michael Goldsmith, 2009, CPA.

Understanding Insider Threat: A Framework for Characterising Attacks

Sadie Creese, Michael Goldsmith, Monica T. Whitty, 2014, 2014 IEEE Security and Privacy Workshops.

The Data that Drives Cyber Insurance: A Study into the Underwriting and Claims Processes

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2020, 2020 International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA).

A State Machine System for Insider Threat Detection

Sadie Creese, Michael Goldsmith, Ioannis Agrafiotis, 2018, GraMSec@FLoC.

JOBNAME: Denters PAGE: 4 SESS: 5 OUTPUT: Wed Aug 20 10:46:52 2014

Michael Goldsmith, Poul Erik Mouritzen, Edward Elgar, 2014 .

Why We Trust Dynamic Consent to Deliver on Privacy

Sadie Creese, Michael Goldsmith, Helena Webb, 2019, IFIPTM.

A Tripwire Grammar for Insider Threat Detection

Sadie Creese, Michael Goldsmith, Ioannis Agrafiotis, 2016, MIST@CCS.

Critical Systems Validation and Verification with CSP and FDR

Michael Goldsmith, Irfan Zakiuddin, 1998, FM-Trends.

The Security of the Speech Interface: A Modelling Framework and Proposals for New Defence Mechanisms

Michael Goldsmith, Ioannis Agrafiotis, Mary K. Bispham, 2019, ICISSP.

Operational Semantics for Fun and Profit

Michael Goldsmith, 2004, 25 Years Communicating Sequential Processes.

Programming in occam 2

Michael Goldsmith, Geraint Jones, Geraint Jones, 1985, Prentice Hall international series in computer science.

Trustworthy and effective communication of cybersecurity risks: A review

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2011, 2011 1st Workshop on Socio-Technical Aspects in Security and Trust (STAST).

Cyber Harm: Concepts, Taxonomy and Measurement

Sadie Creese, Michael Goldsmith, David Upton, 2016 .

Research Directions for Trust and Security in Human-Centric Computing

Sadie Creese, Michael Goldsmith, Irfan Zakiuddin, 2005 .

A Combined Attack-Tree and Kill-Chain Approach to Designing Attack-Detection Strategies for Malicious Insiders in Cloud Computing

Sadie Creese, Michael Goldsmith, Adrian Duncan, 2019, 2019 International Conference on Cyber Security and Protection of Digital Services (Cyber Security).

Tools for understanding identity

Sadie Creese, Michael Goldsmith, Duncan Hodges, 2013, 2013 IEEE International Conference on Technologies for Homeland Security (HST).

Insider Attacks in Cloud Computing

Sadie Creese, Michael Goldsmith, Adrian J. Duncan, 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications.

The attacker in ubiquitous computing environments: formalising the threat model

Sadie Creese, Michael Goldsmith, Bill Roscoe, 2003 .

Sonification in security operations centres: what do security practitioners think? pdf

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2018, ArXiv.

Reflecting on the Ability of Enterprise Security Policy to Address Accidental Insider Threat

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2014, 2014 Workshop on Socio-Technical Aspects in Security and Trust.

EnCoRe: Towards A Conceptual Model For Privacy Policies

Michael Goldsmith, 2011 .

The meaning and implementation of PRI ALT in occam

Michael Goldsmith, 1988 .

Applying Social Network Analysis to Security

Sadie Creese, Michael Goldsmith, Jason R. C. Nurse, 2015 .