Log Your Car: Reliable Maintenance Services Record

DOI10.1007/978-3-319-54705-3_30zbMATH Open1404.94094OpenAlexW2591696794MaRDI QIDQ2980878

Keith Mayes, Raja Naeem Akram, Konstantinos Markantonakis, Iakovos Gurulian, Hafizah Mansor

Publication date: 5 May 2017

Published in: Information Security and Cryptology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-54705-3_30

Mathematics Subject Classification ID

Cryptography (94A60)

Cites Work

• Operational semantics and verification of security protocols.

Uses Software

• Casper
• scyther

This page was built for publication: Log Your Car: Reliable Maintenance Services Record

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2980878)