Availability Assessment of Embedded Systems with Security Vulnerabilities

Andrew J. Kornecki, Janusz Zalewski, Wendy F. Stevenson
2011 2011 IEEE 34th Software Engineering Workshop  
The paper discusses modeling assessment aspects of incorporating security into an embedded system. The essential assumption in the approach and the model we propose is that a security breach may cause degradation of the service and ultimately a failure. The security model concentrates on the system's interaction with the environment via a communication channel. The cooperative adaptive cruise control (CACC) system is used as a case study. The results of the study obtained for availability
more » ... ment due to security lapses show that a modeling technique may be used to evaluate the need for appropriate mitigation mechanisms allowing the system to withstand the attacks still assuring desired level of availability.
doi:10.1109/sew.2011.12 dblp:conf/sew/KorneckiZS11 fatcat:jtbnsss6gfgx3lmnq6jid6ws6u