A Lightweight Privacy Protection User Authentication and Key Agreement Scheme Tailored for the Internet of Things Environment: LightPriAuth

Table 4

Simulation results.

CL-AtSe back end	OFMC
SUMMARY	% OFMC
SAFE	% Version of 2006/02/13
	SUMMARY
DETAILS	SAFE
BOUNDED_NUMBER_OF_SESSIONS	DETAILS
TYPED_MODEL	BOUNDED_NUMBER_OF_SESSIONS
	PROTOCOL
PROTOCOL	/home/yuwen/avispa/avispa-1.1/testsuite/results/usglight.if
/home/yuwen/avispa/avispa-1.1/testsuite/results/usglight.if	GOAL
GOAL	as_specified
As Specified	BACKEND
	OFMC
BACKEND	COMMENTS
CL-AtSe	STATISTICS
	parseTime: 0.00s
STATISTICS	searchTime: 0.02 s
Analysed: 5 states	visited Nodes: 4 nodes
Reachable: 0 states	depth: 2 plies
Translation: 0.02 seconds
Computation: 0.00 seconds