Skip to search boxSkip to navigationSkip to main content

A Security Analysis of the Danish Deposit Return System

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review

Open access

Publication Information

Output type

Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-review

Original language

English

Publication milestones

  • Published - 01/11/2019

Publication status

Published - 01/11/2019

Publisher

Springer, United States, Germany

Book series

  • Book series name: Lecture Notes in Computer Science
    ISSN: 0302-9743

Host publication title

Proceedings of the 9th Workshop on Socio-Technical Aspects in Security and Trust

Abstract

The process that allows one to get rewarded for returning a container through reverse vending machines (RVM) involves people and technology. In fact, it typically sees a set of human parties (e.g. customers, cashiers) and technical parties (e.g, RVMs, databases, scanners) to collaborate in order to enable eective recycling. In this paper, we advance a formal treatment of the Danish Deposit Return System (DRS).

We investigate the security of the ceremony that people are expected to
perform in the context of DRS using eld observation and automated reasoning tools. We give a particular focus to the security threats due to people interacting with the technology behind DRS. The ndings of our investigation enable novel considerations of the ceremony weaknesses and make it possible to delineate potential mitigations.

Access to documents

Accepted author manuscript, 4.74 MB