Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol

Table 1

Color set definition.

The key elements	Color set definition
AUTH	Colset AUTH = INT;
MSG	Colset MSG = STRING;
RN	Colset RN = INT;
PK	Colset PK = STRING;
RPDU	Colset RPDU = product AUTHMSG;
CAPDU	Colset RAPD = product PKCONTENT;
APDU	Colset APDU = REPLY;