Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements

Показать другие версии (1)

Библиографические подробности
Главные авторы:	Agrafiotis, I, Creese, S, Goldsmith, M, Papanikolaou, N
Формат:	‌
Опубликовано:	2011

Схожие документы

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements.
по: Agrafiotis, I, и др.
Опубликовано: (2010)

Applying formal methods to describe the privacy−control requirements in real case−study scenario: emerging ambiguities and proposed solutions
по: Goldsmith, N
Опубликовано: (2010)

A Conceptual Model for Privacy Policies with Consent and Revocation Requirements
по: Mont, M, и др.
Опубликовано: (2011)

Developing a Strategy for Automated Privacy Testing Suites
по: Agrafiotis, I, и др.
Опубликовано: (2012)

Refinement checking for privacy policies.
по: Papanikolaou, N, и др.
Опубликовано: (2012)

Refinement checking for privacy policies
по: Papanikolaou, N, и др.
Опубликовано: (2012)

Privacy Requirements in Cybersecurity Applications of Blockchain
по: Axon, L, и др.
Опубликовано: (2018)

Formalising Requirements for a Biobank Case Study Using a Logic for Consent and Revocation
по: Agrafiotis, I, и др.
Опубликовано: (2012)

Reaching for informed revocation: shutting off the tap on personal data
по: Agrafiotis, I, и др.
Опубликовано: (2010)

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data.
по: Agrafiotis, I, и др.
Опубликовано: (2009)

Towards an Integrated Approach to the Management‚ Specification and Enforcement of Privacy Policies
по: Mont, M, и др.
Опубликовано: (2009)

EnCoRe: Towards a holistic approach to privacy
по: Papanikolaou, N, и др.
Опубликовано: (2010)

Towards A Conceptual Model For Privacy Policies
по: Mont, C, и др.
Опубликовано: (2011)

EnCoRe: Towards A Conceptual Model For Privacy Policies
по: Mont, M, и др.
Опубликовано: (2011)

A Tripwire Grammar for Insider Threat Detection
по: Agrafiotis, I, и др.
Опубликовано: (2016)

Formalising policies for insider-threat detection: A tripwire grammar
по: Agrafiotis, I, и др.
Опубликовано: (2017)

Insider-threat detection: Lessons from deploying the CITD tool in three multinational organisations
по: Erola, A, и др.
Опубликовано: (2022)

An Intuitionistic Fuzzy Based Approach to Resolve Detected Ambiguities in the User Requirements Document
по: Yasir Ahmad, и др.
Опубликовано: (2021-01-01)

A state machine system for insider threat detection
по: Zhang, H, и др.
Опубликовано: (2019)

Anomaly detection using pattern-of-life visual metaphors
по: Happa, J, и др.
Опубликовано: (2019)

Validating an insider threat detection system: A real scenario perspective
по: Agrafiotis, I, и др.
Опубликовано: (2016)

Resolving ambiguities in autocalibration
по: Zisserman, A, и др.
Опубликовано: (1998)

Ensuring Consent and Revocation: Towards a Taxonomy of Consent
по: Creese, S, и др.
Опубликовано: (2009)

An effective method to resolve ambiguous bisulfite-treated reads
по: Mengya Liu, и др.
Опубликовано: (2021-05-01)

Requirements and Concepts for Information Assurance and Pervasive Adaptation Co−design
по: Creese, S, и др.
Опубликовано: (2008)

Towards a conceptual model and reasoning structure for insider threat detection
по: Legg, P, и др.
Опубликовано: (2013)

CyberVis: Visualizing the Potential Impact of Cyber Attacks on the Wider Enterprise
по: Creese, S, и др.
Опубликовано: (2013)

CyberVis: Visualizing the Potential Impact of Cyber Attacks on the Wider Enterprise
по: Creese, S, и др.
Опубликовано: (2013)

Anomaly Detection Using Pattern-of-Life Visual Metaphors
по: Jassim Happa, и др.
Опубликовано: (2019-01-01)

Modeling Advanced Persistent Threats to enhance anomaly detection techniques
по: Atapour, C, и др.
Опубликовано: (2018)

Resolving Visual Ambiguity with a Probe
по: Gaschnig, John
Опубликовано: (2008)

Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies
по: Stein, Lynn Andrea
Опубликовано: (2004)

Resolving ambiguity of demonstrative use in Kamas
по: Gerson Klumpp
Опубликовано: (2015-12-01)

Two sides of the coin: measuring and communicating the trustworthiness of online information
по: Nurse, J, и др.
Опубликовано: (2014)

Analysing cyber-insurance claims to design harm-propagation trees
по: Axon, L, и др.
Опубликовано: (2019)

Analysing trends and success factors of international cybersecurity capacity-building initiatives
по: Hameed, F, и др.
Опубликовано: (2018)

Communicating Trustworthiness using Radar Graphs: A Detailed Look
по: Nurse, J, и др.
Опубликовано: (2013)

A taxonomy of cyber-harms: Defining the impacts of cyber-attacks and understanding how they propagate
по: Agrafiotis, I, и др.
Опубликовано: (2018)

Building confidence in information−trustworthiness metrics for decision support
по: Nurse, J, и др.
Опубликовано: (2013)

Building Confidence in Information−Trustworthiness Metrics for Decision Support
по: Nurse, J, и др.
Опубликовано: (2013)