3rd IEEE International Verification and Security Workshop, IVSW 2018, Costa Brava, Spain, July 2-4, 2018
Published in: IVSW (2018)
Keyphrases
- high security
- java card
- integrity verification
- physical layer
- information security
- cryptographic protocols
- network security
- access control
- security analysis
- security requirements
- computer science
- intrusion detection
- selected papers
- conference proceedings
- model checking
- security systems
- smart card
- security policies
- information systems
- panel discussion
- formal verification
- statistical databases
- security mechanisms
- security level
- formal methods
- computer society
- intelligent agent technology
- artificial intelligence in medicine
- national science foundation
- high assurance
- protocol specification
- security issues