An Improved Authentication Scheme for Digital Rights Management System

Table 3

BAN logic notations.

	believes a statement
	Share a key between and
	is fresh
	sees
	said
	is hashed by key
	is hashed with key
	is encrypted with key