Guided Specification and Analysis of a Loyalty Card System

Laurent Cuennet; Marc Pouly; Saša Radomirović

doi:10.1007/978-3-319-29968-6_5

Guided Specification and Analysis of a Loyalty Card System

Laurent Cuennet, Marc Pouly (Lead / Corresponding author), Saša Radomirović

Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We apply a graphical model to develop a digital loyalty program protocol specifically tailored to small shops with no professional or third-party-provided infrastructure. The graphical model allows us to capture assumptions on the environment the protocol is running in, such as capabilities of agents, available channels and their security properties. Moreover, the model serves as a manual tool to quickly rule out insecure protocol designs and to focus on improving promising designs. We illustrate this by a step-wise improvement of a crude but commercially used protocol to finally derive a light-weight and scalable security protocol with proved security properties and many appealing features for practical use.

Original language	English
Title of host publication	Graphical Models for Security
Subtitle of host publication	Second International Workshop, GraMSec 2015 Verona, Italy, July 13, 2015 Revised Selected Papers
Editors	Sjouke Mauw, Barbara Kordy, Sushil Jajodia
Publisher	Springer International Publishing
Pages	66-81
Number of pages	16
ISBN (Electronic)	9783319299686
ISBN (Print)	9783319299679
DOIs	https://doi.org/10.1007/978-3-319-29968-6_5
Publication status	Published - 2016
Event	Second International Workshop on Graphical Models for Security - University of Verona, Department of Computer Science, Verona, Italy Duration: 13 Jul 2015 → 13 Jul 2015 http://gramsec.uni.lu/2015/ (Link to Conference website)

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer International Publishing
Volume	9390
ISSN (Print)	0302-9743

Workshop

Workshop	Second International Workshop on Graphical Models for Security
Abbreviated title	GraMSec 2015
Country/Territory	Italy
City	Verona
Period	13/07/15 → 13/07/15
Internet address	http://gramsec.uni.lu/2015/ (Link to Conference website)

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-29968-6_5

Cite this

Cuennet, L., Pouly, M., & Radomirović, S. (2016). Guided Specification and Analysis of a Loyalty Card System. In S. Mauw, B. Kordy, & S. Jajodia (Eds.), Graphical Models for Security: Second International Workshop, GraMSec 2015 Verona, Italy, July 13, 2015 Revised Selected Papers (pp. 66-81). (Lecture Notes in Computer Science; Vol. 9390). Springer International Publishing. https://doi.org/10.1007/978-3-319-29968-6_5

Cuennet, Laurent ; Pouly, Marc ; Radomirović, Saša. / Guided Specification and Analysis of a Loyalty Card System. Graphical Models for Security: Second International Workshop, GraMSec 2015 Verona, Italy, July 13, 2015 Revised Selected Papers. editor / Sjouke Mauw ; Barbara Kordy ; Sushil Jajodia. Springer International Publishing, 2016. pp. 66-81 (Lecture Notes in Computer Science).

@inproceedings{fa46d17b45de49a9981444084af10995,

title = "Guided Specification and Analysis of a Loyalty Card System",

abstract = "We apply a graphical model to develop a digital loyalty program protocol specifically tailored to small shops with no professional or third-party-provided infrastructure. The graphical model allows us to capture assumptions on the environment the protocol is running in, such as capabilities of agents, available channels and their security properties. Moreover, the model serves as a manual tool to quickly rule out insecure protocol designs and to focus on improving promising designs. We illustrate this by a step-wise improvement of a crude but commercially used protocol to finally derive a light-weight and scalable security protocol with proved security properties and many appealing features for practical use.",

author = "Laurent Cuennet and Marc Pouly and Sa{\v s}a Radomirovi{\'c}",

note = "No funding info; Second International Workshop on Graphical Models for Security, GraMSec 2015 ; Conference date: 13-07-2015 Through 13-07-2015",

year = "2016",

doi = "10.1007/978-3-319-29968-6_5",

language = "English",

isbn = "9783319299679",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing",

pages = "66--81",

editor = "Mauw, {Sjouke } and Kordy, {Barbara } and Jajodia, {Sushil }",

booktitle = "Graphical Models for Security",

address = "Switzerland",

url = "http://gramsec.uni.lu/2015/",

}

Cuennet, L, Pouly, M & Radomirović, S 2016, Guided Specification and Analysis of a Loyalty Card System. in S Mauw, B Kordy & S Jajodia (eds), Graphical Models for Security: Second International Workshop, GraMSec 2015 Verona, Italy, July 13, 2015 Revised Selected Papers. Lecture Notes in Computer Science, vol. 9390, Springer International Publishing, pp. 66-81, Second International Workshop on Graphical Models for Security, Verona, Italy, 13/07/15. https://doi.org/10.1007/978-3-319-29968-6_5

Guided Specification and Analysis of a Loyalty Card System. / Cuennet, Laurent; Pouly, Marc (Lead / Corresponding author); Radomirović, Saša.
Graphical Models for Security: Second International Workshop, GraMSec 2015 Verona, Italy, July 13, 2015 Revised Selected Papers. ed. / Sjouke Mauw; Barbara Kordy; Sushil Jajodia. Springer International Publishing, 2016. p. 66-81 (Lecture Notes in Computer Science; Vol. 9390).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Guided Specification and Analysis of a Loyalty Card System

AU - Cuennet, Laurent

AU - Pouly, Marc

AU - Radomirović, Saša

N1 - No funding info

PY - 2016

Y1 - 2016

N2 - We apply a graphical model to develop a digital loyalty program protocol specifically tailored to small shops with no professional or third-party-provided infrastructure. The graphical model allows us to capture assumptions on the environment the protocol is running in, such as capabilities of agents, available channels and their security properties. Moreover, the model serves as a manual tool to quickly rule out insecure protocol designs and to focus on improving promising designs. We illustrate this by a step-wise improvement of a crude but commercially used protocol to finally derive a light-weight and scalable security protocol with proved security properties and many appealing features for practical use.

AB - We apply a graphical model to develop a digital loyalty program protocol specifically tailored to small shops with no professional or third-party-provided infrastructure. The graphical model allows us to capture assumptions on the environment the protocol is running in, such as capabilities of agents, available channels and their security properties. Moreover, the model serves as a manual tool to quickly rule out insecure protocol designs and to focus on improving promising designs. We illustrate this by a step-wise improvement of a crude but commercially used protocol to finally derive a light-weight and scalable security protocol with proved security properties and many appealing features for practical use.

UR - http://www.scopus.com/inward/record.url?scp=85007529331&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-29968-6_5

DO - 10.1007/978-3-319-29968-6_5

M3 - Conference contribution

AN - SCOPUS:85007529331

SN - 9783319299679

T3 - Lecture Notes in Computer Science

SP - 66

EP - 81

BT - Graphical Models for Security

A2 - Mauw, Sjouke

A2 - Kordy, Barbara

A2 - Jajodia, Sushil

PB - Springer International Publishing

T2 - Second International Workshop on Graphical Models for Security

Y2 - 13 July 2015 through 13 July 2015

ER -

Cuennet L, Pouly M, Radomirović S. Guided Specification and Analysis of a Loyalty Card System. In Mauw S, Kordy B, Jajodia S, editors, Graphical Models for Security: Second International Workshop, GraMSec 2015 Verona, Italy, July 13, 2015 Revised Selected Papers. Springer International Publishing. 2016. p. 66-81. (Lecture Notes in Computer Science). Epub 2016 Feb 6. doi: 10.1007/978-3-319-29968-6_5

Guided Specification and Analysis of a Loyalty Card System

Abstract

Publication series

Workshop

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this