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.
Electronic Notes in Theoretical Computer Science121, 3–21 (Feb 2005)
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.