Keyphrases
- lightweight
- coloured petri nets
- communication protocol
- artificial intelligence
- group communication
- cryptographic protocols
- authentication protocol
- protocol specification
- key exchange protocol
- user comments
- network protocols
- denial of service attacks
- database
- formal analysis
- low cost
- wireless sensor networks
- information retrieval
- data mining
- real time