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

Table 11

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/iotdev/avispa/avispa-1.1/testsuite/results/usg.if
/home/iotdev/avispa/avispa-1.1/testsuite/results/usg.if	GOAL
GOAL	as_specified
As Specified	BACKEND
	OFMC
BACKEND	COMMENTS
CL-AtSe	STATISTICS
	parseTime: 0.00 s
STATISTICS	searchTime: 0.05 s
Analysed: 14 states	visitedNodes: 24 nodes
Reachable: 4 states	depth: 4 plies
Translation: 0.00 seconds
Computation: 0.00 seconds