Formal Security Analysis and Improvement Based on LonTalk Authentication Protocol

Table 4

Notation table.

Symbol	Definition
	Sender A, receiver B, and server S
	The unique identity of device I
	Random number generated by the sender A
	Random number generated by the receiver B
	Secret key between sender and server
	Secret key between receiver and server
	Session key between sender and receiver
	The current timestamp
	The message M is encrypted using the key
	One-way hash function
	Concatenation operation