Demo Abstract: Analysing CPS Security with Falsification on the Microsoft Flight Simulator.
Tanmay KhandaitAniruddh ChandratreWalstan BaptistaGiulia PedrielliGeorgios FainekosPublished in: HSCC (2023)
Keyphrases
- windows xp
- access control
- intrusion detection
- information security
- network security
- business intelligence
- computer security
- security issues
- data mining
- security vulnerabilities
- data security
- security policies
- case study
- information assurance
- security systems
- low level
- sql server
- visual basic
- security model
- database applications
- security management
- security problems
- security properties
- microsoft sql server
- computer networks
- security requirements
- data integrity
- security analysis
- statistical databases
- encryption scheme
- functional requirements
- public key