Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg2"><tr><td>(1)</td><td>Receive Msg2, where Msg2 = Encrypt (msg2con, kas)</td></tr><tr><td>(2)</td><td>Decrypt Msg2 using kas’.</td></tr><tr><td> </td><td><b>if</b> (kas = = kas’) <b>then</b></td></tr><tr><td> </td><td> msg2con = Decrypt (Msg2, kas’)</td></tr><tr><td> </td><td><b>else</b> return Fail</td></tr><tr><td>(3)</td><td>na, msg2sendb = Split (msg2con)</td></tr><tr><td>(4)</td><td><b>if</b> (na = = na’) <b>then</b></td></tr><tr><td> </td><td>send msg2sendb’ = {id1,msg2sendb}</td></tr><tr><td> </td><td><b>else</b> return Fail</td></tr></table></td></tr></table>

Security and Communication Networks

alg2

Algorithm 2

Algorithm 2: Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol 