Formally Verifying the Security and Privacy of an Adopted Standard for Software-Update in Cars: Verifying Uptane 2.0.
Ioana BoureanuPublished in: SMC (2023)
Keyphrases
- security issues
- iso iec
- security risks
- model checking
- statistical databases
- security concerns
- information security
- security vulnerabilities
- confidential information
- security properties
- data security
- security mechanisms
- preserving privacy
- sensitive data
- information systems
- privacy requirements
- security and privacy issues
- privacy preserving
- intrusion detection
- security threats
- high assurance
- security measures
- personal data
- windows xp
- secure multiparty computation
- computer security
- security requirements
- software design
- privacy protection
- network security
- software systems
- cloud computing
- software development