Low cost multicast authentication via validity voting in time-triggered embedded control networks

Proceedings of the 5th Workshop on Embedded Systems Security, WESS '10

Volumn , Issue , 2010, Pages

  Szilagyi, Chris ^a   Koopman, Philip ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Authentication; CAN; Controller area network; Embedded; FlexRay; In vehicle; Multicast; Networks; Real time; Security; Time triggered protocol; TTP; Voting

Indexed keywords

CAN; CONTROLLER AREA NETWORK; EMBEDDED; FLEXRAY; IN-VEHICLE; MULTICASTS; NETWORKS; REAL-TIME; SECURITY; TIME-TRIGGERED PROTOCOLS; TTP; VOTING;

AUTHENTICATION; COMPUTER CRIME; CONTROL SYSTEM SYNTHESIS; CONTROLLERS; EMBEDDED SYSTEMS; MODEL CHECKING; MULTICASTING; NETWORK SECURITY; PROBABILITY; PROCESS CONTROL;

NETWORK PROTOCOLS;

EID: 78650090602     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1873548.1873558     Document Type: Conference Paper

References (26)

1. The AVISPA Project. Retrieved February 2010 from http://avispa-project. org/.
2. R. Bosch GmbH, CAN Specification, Version 2, Sept. 1991.
3. M. Brown, D. Cheung, D. Hankerson, J. L. Hernandez, M. Kirkup, and A. Menezes. PGP in constrained wireless devices. In SSYM'00: Proc. of the 9th Conf. on USENIX Security Symposium, pp. 19-34, 2000.
4. R. Canetti, J. Garay, G. Itkis, D. Micciancio, M. Naor, and B. Pinkas. Multicast security: a taxonomy and some efficient constructions. In INFOCOM '99: Proc. 18th Annual Joint Conf. of the IEEE Computer and Communications Societies, vol. 2, pp. 708-716. IEEE, 1999.
5. H. Chan and A. Perrig, "Efficient security primitives derived from a secure aggregation algorithm," in Proc. ACM Conf. on Computer and Communications Security, pp. 521-534, 2008.
6. W. Diffie and M. Hellman. New directions in cryptography. IEEE Transactions on Information Theory, vol. 22, pp. 644-654, 1976.
7. D. Dolev and A. C. Yao. On the security of public key protocols. In SFCS '81: Proc. of the 22nd Annual Symp. on Foundations of Computer Science, pp. 350-357. IEEE, 1981.
8. FlexRay Consortium. FlexRay Communications System Protocol Specification, Version 2.1, Revision A, December 2005.
9. G. Franklin, J. Powell, and A. Emami-Naeini. Feedback Control of Dynamic Systems. Prentice Hall, Upper Saddle River, NJ, USA, 2002.
10. th International CAN Conference (ICC), 2000.
11. S. Ganeriwal, S Capkun, C.-C. Han, and M. B. Srivastava. Secure time synchronization service for sensor networks. In WiSe '05: Proc. of the 4th ACM workshop on Wireless security, pp. 97-106. ACM, 2005. (Pubitemid 44447322)
12. R. Gennaro and P. Rohatgi. How to Sign Digital Streams. In CRYPTO '97: Proc. of the 17th Annual Int'l Cryptology Conf. on Advances in Cryptology, pp. 180-197. SpringerVerlag, 1997.
13. Y. Hu, M. Jakobsson, and A. Perrig. Efficient constructions for one-way hash chains. In Applied Cryptography and Network Security, pp. 423-441, 2003.
14. C. Karlof, N. Sastry, and D. Wagner. TinySec: a link layer security architecture for wireless sensor networks. In SenSys '04: Proc. of the 2nd Int'l Conf. on Embedded Networked Sensor Systems, pp. 162-175. ACM, 2004.
15. P. Koopman. Carnegie Mellon University. 18-649 Distributed Embedded Systems. Retrieved February 2010 from http://www.ece.cmu.edu/ece649/.
16. P. Koopman, J. Morris, and P. Narasimhan. Challenges in Deeply Networked System Survivability. NATO Advanced Research Workshop on Security and Embedded Systems, pp. 57-64, 2005.
17. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Norwell, MA, USA, 1997.
18. K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, S. Savage. Experimental Security Analysis of a Modern Automobile, In Proc. of the IEEE Symposium on Security and Privacy, pp.447-462, 2010.
19. J. Morris and P. Koopman. Critical Message Integrity Over A Shared Network. 5th IFAC Int'l Conf. on Fieldbus Systems and their Applications, pp. 145-151, 2003.
20. J. von Neumann. Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components. In Automata Studies (Annals of Mathematics Studies, no. 34), pp. 43-99. Princeton Univ. Press, Princeton NJ, USA, 1956.
21. A. Perrig, R. Szewczyk, J. D. Tygar, V. Wen, and D. E. Culler. SPINS: security protocols for sensor networks. Wireless Networks, vol. 8(no. 5): pp. 521-534, 2002.
22. A. Perrig, J. D. Tygar, D. Song, and R. Canetti. Efficient Authentication and Signing of Multicast Streams over Lossy Channels. In SP '00: Proc. of the 2000 IEEE Symposium on Security and Privacy, pp. 56-73. IEEE, 2000.
23. C. Szilagyi and P. Koopman. Flexible multicast authentication for time-triggered embedded control network applications. In DSN '09: Proc. of the Int'l Conference on Dependable Systems and Networks, pp. 165-174, 2009.
24. TTTech. Time-Triggered Protocol Specification TTP/C, Version 1.1, November 2003.
25. M. Wolf, A. Weimerskirch, and C. Paar. Security in Automotive Bus Systems. Workshop on Embedded Security in Cars, 2004.
26. C. K. Wong and S. S. Lam. Digital Signatures for Flows and Multicasts. In ICNP '98: Proc. of the 6th Int'l Conf. on Network Protocols, pp. 198-209. IEEE, 1998.