Breaking and fixing the HB+DB protocol.

Ioana Boureanu David Gérault Pascal Lafourcade Cristina Onete

Published in: WISEC (2017)

Keyphrases

lightweight
communication protocol
formal analysis
cryptographic protocols
coloured petri nets
network protocols
real time
electronic commerce
multi party
relational database management systems
authentication protocol
tcp ip
protocol specification