Specification, design, and verification of an accountability-aware surveillance protocol
Paper i proceeding, 2017

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.

Privacy

Protocol

Surveillance

Accountability

Formal verification

Författare

Thibaud Antignac

Programvaruteknik

Mukelabei Mukelabai

Chalmers, Data- och informationsteknik

Gerardo Schneider

Göteborgs universitet

Proceedings of the ACM Symposium on Applied Computing

Vol. Part F128005 1372-1378

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1145/3019612.3019826

ISBN

978-145034486-9

Mer information

Skapat

2017-10-08