Research Article

Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol

Figure 14

Substitution transition A_to_B internal model.