Modern automobiles are considered semi - A utonomous vehicles regarding new adaptive technologies. New cars consist of a vast number of electronic units for managing and controlling the functional safety in a vehicle. In the vehicular industry, safety and security are considered two sides for the same coin. Therefore, improving functional safety in the vehicular industry is essential to protect the vehicle from diifferent attack scenarios. This work introduces an ontology-based model for security verication and validation in the vehicular domain. The model performs a series of logical quires and inference rules to ensure that the security requirements are fullled. It endeavors to enhance the current security state of a vehicle by selecting additional security requirements that can handle existence security weaknesses and meet the actual security goal.

Top