Keyphrases
- network protocols
- lightweight
- data model
- formal analysis
- markup language
- coloured petri nets
- highly flexible
- communication protocols
- tcp ip
- resource management
- quality of service
- real time
- databases
- cloud computing
- end to end
- data types
- security protocols
- database
- resource allocation
- file transfer
- provably secure
- data sets
- communication protocol
- authentication protocol
- security analysis
- database management systems
- multi party
- application specific