Keyphrases
- petri net
- timed automata
- artificial intelligence
- learning algorithm
- database
- encryption scheme
- finite state machines
- secret key
- encryption algorithms
- identity authentication
- image encryption
- encryption decryption
- key exchange
- security properties
- encryption algorithm
- digital signature
- standard model
- discrete event
- security analysis
- metadata