Keyphrases
- fair exchange protocols
- data structure
- lightweight
- secure multi party
- real time
- hash functions
- cryptographic protocols
- neural network
- network protocols
- security protocols
- authentication protocol
- communication protocols
- fair exchange
- formal analysis
- trusted computing
- combinatorial auctions
- distributed environment
- coloured petri nets
- digital libraries