Log your car: reliable maintenance services record

DOI10.1007/978-3-319-54705-3_30MaRDI QIDQ2980878zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• scientific article; zbMATH DE number 1960873
• scientific article; zbMATH DE number 2080180
• Enhanced lightweight and secure session key establishment protocol for smart home inhabitants
• Compositional verification of a communication protocol for a remotely operated aircraft
• An Analysis of Tracking Settings in Blackberry 10 and Windows Phone 8 Smartphones

Cites work

• Operational semantics and verification of security protocols.

Describes a project that uses

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)