Applying Security Testing Techniques to Automotive Engineering

Pekaric, Irdin; Sauerwein, Clemens; Felderer, Michael

doi:10.1145/3339252.3340329

Cited by 12 publications

(8 citation statements)

References 57 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These frameworks encompass a range of techniques, including vulnerability scanning, code analysis, and security assessment [196][197][198]. They assist in automating security testing processes, identifying security weaknesses, and ensuring adherence to established security standards [199][200][201]. Security testing frameworks provide a structured and systematic approach to evaluate the security posture of automotive systems [202][203][204][205].…”

Section: Security Testing Frameworkmentioning

confidence: 99%

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security

Krichen

2023

Information

View full text Add to dashboard Cite

The increasing complexity and connectivity of automotive systems have raised concerns about their vulnerability to security breaches. As a result, the integration of formal methods and validation techniques has become crucial in ensuring the security of automotive systems. This survey research paper aims to provide a comprehensive overview of the current state-of-the-art formal methods and validation techniques employed in the automotive industry for system security. The paper begins by discussing the challenges associated with automotive system security and the potential consequences of security breaches. Then, it explores various formal methods, such as model checking, theorem proving, and abstract interpretation, which have been widely used to analyze and verify the security properties of automotive systems. Additionally, the survey highlights the validation techniques employed to ensure the effectiveness of security measures, including penetration testing, fault injection, and fuzz testing. Furthermore, the paper examines the integration of formal methods and validation techniques within the automotive development lifecycle, including requirements engineering, design, implementation, and testing phases. It discusses the benefits and limitations of these approaches, considering factors such as scalability, efficiency, and applicability to real-world automotive systems. Through an extensive review of relevant literature and case studies, this survey provides insights into the current research trends, challenges, and open research questions in the field of formal methods and validation techniques for automotive system security. The findings of this survey can serve as a valuable resource for researchers, practitioners, and policymakers involved in the design, development, and evaluation of secure automotive systems.

show abstract

Section: Security Testing Frameworkmentioning

confidence: 99%

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security

Krichen

2023

Information

View full text Add to dashboard Cite

show abstract

“…Pekaric et al [25] presented security testing techniques for automotive engineering by focusing on the application software and service layer of the Automotive Open System Architecture (AUTOSAR). AUTOSAR is an open and standardized software architecture for electronic control units in the automotive domain.…”

Section: Security Regression Testingmentioning

confidence: 99%

Security Testing for Naval Ship Combat System Software

Kim

2021

IEEE Access

View full text Add to dashboard Cite

show abstract

“…For the development of modern vehicles, rigorous security engineering is required as well as safety engineering [72]. An overview on how to apply security testing technologies to automotive engineering is conducted in [73]. Five techniques that are commonly used for automotive engineering are identified and classified according to the applications of different vehicle lifecycle phases and architecture layers.…”

Section: Automotive Security Modelsmentioning

confidence: 99%

On the Modeling of Automotive Security: A Survey of Methods and Perspectives

Hao

Han

2020

Future Internet

View full text Add to dashboard Cite

As the intelligent car-networking represents the new direction of the future vehicular development, automotive security plays an increasingly important role in the whole car industry chain. On condition that the accompanying problems of security are proofed, vehicles will provide more convenience while ensuring safety. Security models can be utilized as tools to rationalize the security of the automotive system and represent it in a structured manner. It is essential to improve the knowledge about security models by comparing them besides proposing new methods. This paper aims to give a comprehensive introduction to the topic of security models for the Intelligent Transport System (ITS). A survey of the current methodologies for security modeling is conducted and a classification scheme is subsequently proposed. Furthermore, the existing framework and methods to build automotive security models are broadly examined according to the features of automotive electronic system. A number of fundamental aspects are defined to compare the presented methods in order to comprehend the automotive security modeling in depth.

show abstract

Applying Security Testing Techniques to Automotive Engineering

Cited by 12 publications

References 57 publications

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security

Security Testing for Naval Ship Combat System Software

On the Modeling of Automotive Security: A Survey of Methods and Perspectives

Contact Info

Product

Resources

About