A Security Analysis of the Danish Deposit Return System

Ivan Garbacz; Rosario Giustolisi; Kasper Møller Nielsen; Carsten Schürmann

A Security Analysis of the Danish Deposit Return System

Ivan Garbacz, Rosario Giustolisi, Kasper Møller Nielsen, Carsten Schürmann

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

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.

Originalsprog	Engelsk
Titel	Proceedings of the 9th Workshop on Socio-Technical Aspects in Security and Trust
Forlag	Springer
Publikationsdato	1 nov. 2019
Status	Udgivet - 1 nov. 2019

Navn	Lecture Notes in Computer Science
ISSN	0302-9743

Adgang til dokumentet

humanAccepteret manuskript, 4,74 MB

Citationsformater

@inproceedings{4dbe548b63204e73a043ed092ede44af,

title = "A Security Analysis of the Danish Deposit Return System",

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 toperform 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.",

keywords = "Reverse Vending Machines (RVM), Deposit Return System (DRS), Security Threats, Human-Technology Interaction, Automated Reasoning Tools",

author = "Ivan Garbacz and Rosario Giustolisi and {M{\o}ller Nielsen}, Kasper and Carsten Sch{\"u}rmann",

year = "2019",

month = nov,

day = "1",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

booktitle = "Proceedings of the 9th Workshop on Socio-Technical Aspects in Security and Trust",

address = "Germany",

}

A Security Analysis of the Danish Deposit Return System. / Garbacz, Ivan; Giustolisi, Rosario; Møller Nielsen, Kasper et al.
Proceedings of the 9th Workshop on Socio-Technical Aspects in Security and Trust. Springer, 2019. (Lecture Notes in Computer Science).

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - A Security Analysis of the Danish Deposit Return System

AU - Garbacz, Ivan

AU - Giustolisi, Rosario

AU - Møller Nielsen, Kasper

AU - Schürmann, Carsten

PY - 2019/11/1

Y1 - 2019/11/1

N2 - 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 toperform 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.

AB - 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 toperform 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.

KW - Reverse Vending Machines (RVM)

KW - Deposit Return System (DRS)

KW - Security Threats

KW - Human-Technology Interaction

KW - Automated Reasoning Tools

M3 - Article in proceedings

T3 - Lecture Notes in Computer Science

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

PB - Springer

ER -

A Security Analysis of the Danish Deposit Return System

Abstract

Adgang til dokumentet

Fingeraftryk

Citationsformater