Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol

Table 2

State-space analysis of original LonTalk protocol model.

Type	Number	Name
State-space node	73
State-space arc	116
SCC graph node	73
SCC graph arc	116
Live transition	0
Dead marking	1
Dead transition	2	Error_REPLY/Discard