An Overview of the International Verification and Security Workshop (IVSW).
Magdy AbadirSohrab AftabjahaniPublished in: ITC (2019)
Keyphrases
- high security
- java card
- integrity verification
- access control
- cryptographic protocols
- information security
- security problems
- security issues
- model checking
- intrusion detection
- security policies
- statistical databases
- formal methods
- selected papers
- security analysis
- smart card
- conference proceedings
- face verification
- security protocols
- management science
- security systems
- verification method
- security mechanisms
- high assurance
- future trends
- computer security
- key management
- computer science
- security requirements
- world wide
- network security
- petri net
- distributed systems