Inviter le freelance sur le projet
Il semble que vous n'ayez pas de projet actif en ce moment. Pourquoi ne pas publier un projet maintenant ? C'est gratuit !Publier un projet
- N/ATravaux complétés
- N/ASelon le budget
- N/ADans les temps
- N/ATaux de Réembauche
Project 23475599 has been deleted
“Eduardo D. was unable to do the project.”Adil B. il y a un mois
A Formal Model to Facilitate Security Testing in Modern Automotive Systems
Ensuring a car's internal systems are free from security vulnerabilities is of utmost importance, especially due to the relationship between security and other properties, such as safety and reliability. We provide the starting point for a model-based framework designed to support the security testing of modern cars. We use Communicating Sequential Processes (CSP) to create architectural models of the vehicle bus systems, as well as an initial set of attacks against these systems.
Formal models for automotive systems and vehicular networks: Benefits and challenges
We give consideration to how formal models of threats might be beneficial in the development of modern automotive systems and vehicular networks, which are increasingly interconnected. To achieve this we present a formal threat model of an idealised system. We use Predicate/Transition (PrT) Nets, a graphical mathematical formalism, to represent threats and plausible attacks.