Specifying LAKA in HLPSL script. We describe the specification for the authentication and key establishment phase, where two basic roles are involved, i.e., smart meter (SM) and NAN gateway. In addition, the proposed scheme has another two roles involved, namely, session and environ- ment.
Appears in 4 contracts
Samples: Lightweight Authentication and Key Agreement, Lightweight Authentication and Key Agreement, Lightweight Authentication and Key Agreement
