Security and Communication Networks

Research Article

Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol

Table 3

Comparison of model state space.
TypeOriginal modelAttack model
Status space node73203
Status space arc116449
SCC graph node73203
SCC graph arc116449
Dead transitions22
Dead markings11