Conference item icon

Conference item

Formal models for privacy

Abstract:

The concept of privacy is becoming increasingly important in all of our lives. Unfortunately, however, it is a rather nebulous concept; further, many claim that they consider privacy to be important, yet undertake behaviour that would suggest otherwise — the so-called privacy paradox. As technology becomes more pervasive, the need for assurances that individuals’ privacy is not compromised by that technology necessarily increases. In this paper, we argue that formal methods have a role to pla...

Expand abstract
Publication status:
Not published
Peer review status:
Peer reviewed

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Host title:
PAIS 2016: Prestigious Applications of Intelligent Systems
Journal:
PAIS 2016: Prestigious Applications of Intelligent Systems More from this journal
Publication date:
2016-08-01
Acceptance date:
2016-06-07
Keywords:
Pubs id:
pubs:589159
UUID:
uuid:63c7719c-1173-4979-b574-00c118662b8c
Local pid:
pubs:589159
Source identifiers:
589159
Deposit date:
2016-01-15

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP