IEEE 2nd International Verification and Security Workshop, IVSW 2017, Thessaloniki, Greece, July 3-5, 2017
Published in: IVSW (2017)
Keyphrases
- high security
- lecture notes
- integrity verification
- java card
- security issues
- information security
- computer science
- model checking
- intrusion detection
- physical layer
- national science foundation
- wireless local area network
- access control
- wireless lan
- cryptographic protocols
- security analysis
- hong kong
- security requirements
- network security
- cultural heritage
- security systems
- digital government
- security level
- conference proceedings
- selected papers
- cyber security
- security protocols
- statistical databases
- security policies
- formal analysis
- computer society
- medium access control
- wireless sensor
- high assurance