Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles

查看最新文献

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles - 最新文献

Using ID-Hopping to Defend Against Targeted DoS on CAN

Pub Date : 2017-04-18 DOI: 10.1145/3055378.3055382 Abdulmalik Humayed, Bo Luo

A Game-Theoretic Approach to Secure Control of Communication-Based Train Control Systems Under Jamming Attacks

Pub Date : 2017-04-18 DOI: 10.1145/3055378.3055381 Zhiheng Xu, Quanyan Zhu

Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables

Pub Date : 2017-04-18 DOI: 10.1145/3055378.3055384 N. Aréchiga, Sumanth Dathathri, Shashank Vernekar, Nagesh Kathare, Sicun Gao, Shin'ichi Shiraishi

查看全部

免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。