CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Specification, design, and verification of an accountability-aware surveillance protocol

Thibaud Antignac (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Mukelabei Mukelabai (Institutionen för data- och informationsteknik (Chalmers)) ; Gerardo Schneider
Proceedings of the ACM Symposium on Applied Computing Vol. Part F128005 (2017), p. 1372-1378.
[Konferensbidrag, refereegranskat]

Copyright 2017 ACM. Though controversial, surveillance activities are more and more performed for security reasons. However, such activities are extremely privacy-intrusive. This is seen as a necessary side-effect to ensure the success of such operations. In this paper, we propose an accountability-aware protocol designed for surveillance purposes. It relies on a strong incentive for a surveillance organisation to register its activity to a data protection authority. We first elicit a list of accountability requirements, we provide an architecture showing the interaction of the different involved parties, and we propose an accountability-aware protocol which is formally specified in the applied pi calculus. We use the ProVerif tool to automatically verify that the protocol respects confidentiality, integrity and authentication properties.

Nyckelord: Accountability, Formal verification, Surveillance, Privacy , Protocol



Denna post skapades 2017-07-18.
CPL Pubid: 250740

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)
Institutionen för data- och informationsteknik (Chalmers)
Institutionen för tillämpad informationsteknologi (GU) (GU)

Ämnesområden

Data- och informationsvetenskap

Chalmers infrastruktur