A Case Study for Designing a Secure Communication Protocol over a Controller Area Network | IEEE Conference Publication | IEEE Xplore