Enabling Security Checking of Automotive ECUs with Formal CSP Models.

John Heneghan, Siraj Ahmed Shaikh, Jeremy W. Bryans, Madeline Cheah, Paul Wooderson

Browse the full DSN paper archive.