Secure and Efficient Communication in VANETs Using Level-Based Access Control

Algorithm 1

Algorithm for unforgeability experiment .

	Input: A security parameter
	Output: The success of the attack.
(1)
(2)
(3)
(4)	Phase I: learning
(5)
(6)	Phase II: challenging
(7)
(8)	If has never been executed; then
(9)	return 1
(10)	else
(11)	return 0
(12)	end