Table 2.

Key characteristics of existing validation and theoretical analysis of DHR

Ref. Application Hs Rt Li S&S Theoretical analysis Validation
[3] Automotive Yes Yes Yes Yes / Field tests

[36] Automotive Yes Yes Yes Yes Simulation Field tests

[45] DNS Yes Yes No Yes GSPN and Markov Attack test

[46] MCU Yes Yes Yes Yes Markov models Prototype verification

[47] Router Yes Yes No Yes Performance tests Vulnerability scanning

[48] Distributed storage Yes Yes No Yes / Prototype testing

[49] Theory / / / Yes Automaton model /

[37] CAN Yes Yes Yes Yes Time/space analysis Simulator

[50] Theory Yes Yes Yes Yes Game theory /

[51] Web Yes No No Yes Probabilistic Simulation

[52] Theory / / / Yes Probabilistic /

Notes. Ref.: Reference; Hs: High security; Rt: Real time; Li: Lightweight; S&S: Integrated safety and security.

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.