Research Article
A Lightweight Privacy Protection User Authentication and Key Agreement Scheme Tailored for the Internet of Things Environment: LightPriAuth
| 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 |
|
|