Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol

Algorithm 4

Compute_Msg5SendA’.

(1)	receive msg5, where msg5 = {msg5con, kbs}
(2)	if kbs = = kbs’ then
	msg5con = Decrypt (msg5, kbs’)
	else return Fail
(3)	msg5senda, nb’ = Split (msg5con)
	if nb = = nb’ then
	Send (msg5senda’), where msg5senda = {id2, msg5senda}
	else return Fail