Cryptographic Security of Reactive Systems.
Birgit PfitzmannMatthias SchunterMichael WaidnerPublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- reactive systems
- security protocols
- information flow
- security properties
- key management
- smart card
- encryption scheme
- formal methods
- security requirements
- fuzzy vault
- information security
- random number generator
- encryption key
- petri net
- secure communication
- encryption decryption
- high assurance
- network security
- model checking
- cryptographic protocols
- temporal logic
- control flow
- public key cryptography
- access control
- elliptic curve cryptography
- intrusion detection
- security analysis
- cryptographic algorithms
- security mechanisms
- digital signature
- state machines
- machine learning
- real time systems
- security issues
- encryption algorithms
- knowledge based systems
- low cost
- software engineering
- relational databases