Enabling security checking of automotive ECUs with formal CSP models

J Heneghan, SA Shaikh, J Bryans… - 2019 49th Annual …, 2019 - ieeexplore.ieee.org
This paper presents an approach, using the process-algebra CSP, that aims to support
systematic security testing of ECU components. An example use case regarding Over-The …
被引用次数：9 相关文章
[PDF] core.ac.uk

[PDF][PDF] Enabling security checking of automotive ECUs with formal CSP models

J Heneghan, SA Shaikh, J Bryans, M Cheah… - 2019 - core.ac.uk
This paper presents an approach, using the processalgebra CSP, that aims to support
systematic security testing of ECU components. An example use case regarding Over-The …

Enabling security checking of automotive ECUs with formal CSP models

J Heneghan, SA Shaikh, J Bryans… - 49th Annual IEEE …, 2019 - pureportal.coventry.ac.uk
This paper presents an approach, using the process-algebra CSP, that aims to support
systematic security testing of ECU components. An example use case regarding Over-The …
[PDF] coventry.ac.uk

[PDF][PDF] Enabling security checking of automotive ECUs with formal CSP models

J Heneghan, SA Shaikh, J Bryans, M Cheah… - 2019 - pure.coventry.ac.uk
This paper presents an approach, using the processalgebra CSP, that aims to support
systematic security testing of ECU components. An example use case regarding Over-The …

Enabling Security Checking of Automotive ECUs with Formal CSP Models

J Heneghan, SA Shaikh, J Bryans, M Cheah… - 2019 49th Annual …, 2019 - computer.org
This paper presents an approach, using the process-algebra CSP, that aims to support
systematic security testing of ECU components. An example use case regarding Over-The …
[PDF] coventry.ac.uk

[PDF][PDF] Enabling security checking of automotive ECUs with formal CSP models

J Heneghan, SA Shaikh, J Bryans, M Cheah… - 2019 - pure.coventry.ac.uk
This paper presents an approach, using the processalgebra CSP, that aims to support
systematic security testing of ECU components. An example use case regarding Over-The …