Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol

Algorithm 1

Send_Msg1().

(1)	Compute ida, idb, x and na
(2)	Compute id1 = Combine (ida, idb),
	Compute msg1con = Combine (x, id1)
(3)	Compute key = kas, msg1send = Encrypt (msg1con, kas)
(4)	Send msg1 = {ida, msg1send} to Server