Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol

Table 5

Comparison of LonTalk-SA state space.

Type	No_Att	T_Att	R_Att	S_Att
State-space node	1230	846	86	910
State-space arc	4498	2962	160	3218
SCC graph node	1230	846	86	910
SCC graph arc	4498	2962	160	3218
Dead transition	2	9	43	7
Dead marking	1	1	1	1