Toward the Ontology-Based Security Verification and Validation Model for the Vehicular Domain

Security verification and validation is an essential part of the development phase in current and future vehicles. It is essential to ensure that a sufficient level of security is achieved. This process determines whether or not all security issues are covered and confirms that security requirements and implemented measures meet the security needs. This work proposes a novel ontology-based security verification and validation model in the vehicular area. Ontologies allow creating a comprehensive view of threats and security requirements. The proposed model performs a series of queries and inference rules to the comprehensive view to ensure the compliance of vehicle components with security requirements.