Keyphrases
- lightweight
- communication protocol
- authentication protocol
- evolutionary algorithm
- network protocols
- application development
- formal analysis
- database
- coloured petri nets
- case study
- fault tolerance
- network simulator
- application developers
- network devices
- rfid systems
- security protocols
- electronic commerce
- neural network