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

104

微信好友朋友圈 QQ好友复制链接

查看最新文献

发文信息

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，我们会认真核实处理。

Book学术文献互助群
群号：481959085

文献互助智能选刊最新文献互助须知联系我们：info@booksci.cn