Research Article
Multiaccess Edge Computing Empowered Flying Ad Hoc Networks with Secure Deployment Using Identity-Based Generalized Signcryption
Algorithm 4
High-level protocol specification language (HLPSL) code for environment role.
| role environment() | | def= | | const | | hash_0:hash_func, bmec:public_key,alice:agent,bob:agent, bmbs:public_key,const_1:agent, const_5:public_key,const_9:public_key,auth_1:protocol_id,sec_2:protocol_id | | intruder_knowledge = {alice, bob} | | composition | | session2(i, const_1,const_5,const_9) /\ session1(alice, bob, bmec, bmbs) | | end role | | goal | | authentication_on auth_1 | | secrecy_of sec_2 | | end goal | | environment() |
|