Keyphrases
- multimedia
- cryptographic protocols
- protocol specification
- formal analysis
- model checker
- model checking
- lightweight
- formal proof
- multimedia data
- metadata
- multimedia content
- cultural heritage
- multimedia objects
- verification method
- digital libraries
- file transfer
- communication protocol
- formal verification
- signature verification
- multimedia documents
- learning environment
- digital video
- multimedia databases
- high security
- wireless access networks
- coloured petri nets
- video sequences
- video data
- network protocols
- colored petri nets
- authentication protocol
- multimedia communication
- formal methods
- tcp ip
- multimedia systems
- e learning