Login / Signup
Enabling Security Checking of Automotive ECUs with Formal CSP Models.
John Heneghan
Siraj Ahmed Shaikh
Jeremy W. Bryans
Madeline Cheah
Paul Wooderson
Published in:
DSN Workshops (2019)
Keyphrases
</>
real time
formal models
parameter estimation
constraint satisfaction problems
computer security
social networks
optimal solution
prior knowledge
wireless sensor networks
probabilistic model
np complete
statistical models
formal model
network security