Towards Formal Security Verification of Over-the-Air Update Protocol: Requirements, Survey and UpKit Case Study.
Christophe PonsardDenis DarquennesPublished in: ICISSP (2021)
Keyphrases
- cryptographic protocols
- case study
- protocol specification
- formal analysis
- formal methods
- security properties
- formal specification
- functional requirements
- security protocols
- high security
- security model
- model checker
- authentication protocol
- literature review
- key agreement protocol
- key exchange protocol
- high assurance
- java card
- security analysis
- access control
- integrity verification
- formal verification
- provably secure
- denial of service attacks
- standard model
- model checking
- formal model
- intrusion detection
- physical layer
- mobile payment
- security systems
- mutual authentication
- communication protocols
- network security
- development process
- smart card
- secure routing
- virtual private network
- key establishment
- mobile agent system
- security services
- network management
- information security
- lightweight
- software development
- sensor networks
- security level
- trust negotiation
- security requirements
- security issues