Research Article
A Lightweight Privacy Protection User Authentication and Key Agreement Scheme Tailored for the Internet of Things Environment: LightPriAuth
| RESULT inj-event(termGatewaywithSensor(x_71)) ==> inj-event(acceptSensor(x_71)) is true. | | RESULT inj-event(termSensor(x_4088)) ==> inj-event(acceptUserbyGateway(x_4088)) is true. | | RESULT inj-event(termUser(x_8075)) ==> inj-event(acceptUserbyGateway(x_8075)) is true. | | RESULT inj-event(termGatewaywithUser(x_13373)) ==> inj-event(acceptSensor(x_13373)) is true. |
|
