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

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

Bibliographic Details
Main Authors:	Agrafiotis, I, Creese, S, Goldsmith, M
Format:	Book
Published:	2012

Similar Items

Formalising Requirements for a Biobank Scenario using a Logic for Consent and Revocation
by: Creese, M
Published: (2011)

Ensuring Consent and Revocation: Towards a Taxonomy of Consent
by: Creese, S, et al.
Published: (2009)

A Conceptual Model for Privacy Policies with Consent and Revocation Requirements
by: Mont, M, et al.
Published: (2011)

Formalising policies for insider-threat detection: A tripwire grammar
by: Agrafiotis, I, et al.
Published: (2017)

Ensuring Consent and Revocation: Towards a Taxonomy of Consent
by: Goldsmith, N
Published: (2009)

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data.
by: Agrafiotis, I, et al.
Published: (2009)

Reaching for informed revocation: shutting off the tap on personal data
by: Agrafiotis, I, et al.
Published: (2010)

Defining Consent and Revocation Policies
by: Mont, S
Published: (2010)

The attacker in ubiquitous computing environments: formalising the threat model
by: Roscoe, A, et al.
Published: (2003)

A formalised approach to designing sonification systems for network-security monitoring
by: Axon, L, et al.
Published: (2017)

Formalising the pi-calculus using nominal logic
by: Jesper Bengtson, et al.
Published: (2009-06-01)

Modal Logic - a Tool for Design Process Formalisation
by: I. Jelínek
Published: (2003-01-01)

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements.
by: Agrafiotis, I, et al.
Published: (2010)

Applying Formal Methods to Detect and Resolve Ambiguities in Privacy Requirements
by: Agrafiotis, I, et al.
Published: (2011)

Biobanks and Informed Consent
by: Gabriella Foe
Published: (2014-03-01)

A survey on the formalisation of system requirements and their validation
by: Konstantinos Mokos, et al.
Published: (2020-09-01)

Developing a Strategy for Automated Privacy Testing Suites
by: Agrafiotis, I, et al.
Published: (2012)

Consent, ethics and genetic biobanks: the case of the Athlome project
by: Rachel Thompson, et al.
Published: (2017-11-01)

Developing a simplified consent form for biobanking.
by: Laura M Beskow, et al.
Published: (2010-10-01)

Reaching for Informed Revocation: Shutting Off the Tap on Personal Data
by: Goldsmith, N
Published: (2009)

Formalisation of the methodology of the construction design documents taking into account the fuzzy logic
by: Fjodor K. KLASHANOV
Published: (2021-08-01)

A formalisation of XMAS
by: Bernard van Gastel, et al.
Published: (2013-04-01)

Practice variation across consent templates for biobank research. A survey of German biobanks
by: Irene eHirschberg, et al.
Published: (2013-11-01)

A Tripwire Grammar for Insider Threat Detection
by: Agrafiotis, I, et al.
Published: (2016)

Communicating trustworthiness using radar graphs: A detailed look
by: Nurse, J, et al.
Published: (2013)

Communicating Trustworthiness using Radar Graphs: A Detailed Look
by: Nurse, J, et al.
Published: (2013)

Why we trust dynamic consent to deliver on privacy
by: Schuler Scott, A, et al.
Published: (2019)

Formalisation as a judicial claim
by: Lorena Poblete
Published: (2020-06-01)

Entailment : the formalisation of inference
by: Copeland, BJ
Published: (1978)

Formalisations and Applications of BPMN
by: Wong, P, et al.
Published: (2011)

Formalisation of the component specification
by: Vaidas Giedrimas, et al.
Published: (2004-12-01)

Formalisations and applications of BPMN
by: Wong, P, et al.
Published: (2011)

Formalising Confluence in PVS
by: Mauricio Ayala-Rincón
Published: (2016-03-01)

Relative Monads Formalised
by: Thorsten Altenkirch, et al.
Published: (2014-07-01)

Efficient Revocable ID-Based Signature With Cloud Revocation Server
by: Xiaoying Jia, et al.
Published: (2017-01-01)

Tag clouds with a twist: using tag clouds coloured by information’s trustworthiness to support situational awareness
by: Nurse, J, et al.
Published: (2015)

Genes, cells, and biobanks: Yes, there's still a consent problem.
by: Timothy Caulfield, et al.
Published: (2017-07-01)

Broad consent in biobanking: Reflections on seemingly insurmountable dilemmas
by: Caulfield, T, et al.
Published: (2009)

Broad consent for biobanks is best – provided it is also deep
by: Rasmus Bjerregaard Mikkelsen, et al.
Published: (2019-10-01)

La formalisation du discours savant La formalisation du discours savant
by: Jean-Claude Gardin
Published: (1999-11-01)