The paper introduces a verification-orchestration algorithm and process mining on ARH hypertraces to enable scalable security analysis of automotive network protocols and attribute violations to specific component compromises.
https://uptane.org/assets/files/uptane_first_whitepaper_7821- efd12526ce69d174eb215e0ecdad29dd.pdf (Jun 2021)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
The paper introduces a verification-orchestration algorithm and process mining on ARH hypertraces to enable scalable security analysis of automotive network protocols and attribute violations to specific component compromises.