4th IEEE International Verification and Security Workshop, IVSW 2019, Rhodes Island, Greece, July 1-3, 2019
Published in: IVSW (2019)
Keyphrases
- high security
- lecture notes
- computer science
- integrity verification
- intrusion detection
- java card
- model checking
- physical layer
- information security
- security policies
- cryptographic protocols
- security issues
- security requirements
- panel discussion
- wireless lan
- security systems
- high assurance
- security mechanisms
- conference proceedings
- access control
- security analysis
- security level
- protocol specification
- network security
- national science foundation
- intelligent agent technology
- artificial intelligence
- wireless sensor
- security protocols
- key management
- statistical databases
- cultural heritage