Modeling and generation of secure component communications in AUTOSAR-Reference-Cited by-同舟云学术

Modeling and generation of secure component communications in AUTOSAR

Published:2017-04-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Symposium on Applied Computing
language:
Short-container-title:

Author:

Bernardeschi Cinzia¹,Di Natale Marco²,Dini Gianluca¹,Varano Dario¹

Affiliation:

1. University of Pisa, Italy

2. Scuola Superiore Sant'Anna, Pisa, Italy

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3019612.3019682

Reference17 articles.

1. AUTOSAR (http://www.autosar.org/). AUTOSAR (http://www.autosar.org/).

2. EVITA - E-safety vehicle intrusion protected applications Seventh Research Framework Programme of the European Community Project reference: 224275. http://evita-project.org/. EVITA - E-safety vehicle intrusion protected applications Seventh Research Framework Programme of the European Community Project reference: 224275. http://evita-project.org/.

3. SAFURE - Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems horizon 2020 project reference: 644080. https://safure.eu//. SAFURE - Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems horizon 2020 project reference: 644080. https://safure.eu//.

4. AUTOSAR. AUTOSAR Specification of Crypto Abstraction Library: AUTOSAR Release 4.2.2. AUTOSAR. AUTOSAR Specification of Crypto Abstraction Library: AUTOSAR Release 4.2.2 .

5. AUTOSAR. AUTOSAR Specification of Crypto Service Manager: AUTOSAR Release 4.2.2. AUTOSAR. AUTOSAR Specification of Crypto Service Manager: AUTOSAR Release 4.2.2 .

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The MATERIAL framework: Modeling and AuTomatic code Generation of Edge Real-TIme AppLications under the QNX RTOS;Journal of Systems Architecture;2024-09

2. Designing and implementing an AUTOSAR-based Basic Software Module for enhanced security;Computer Networks;2022-12

3. CINNAMON: A Module for AUTOSAR Secure Onboard Communication;2020 16th European Dependable Computing Conference (EDCC);2020-09

4. Verifying data secure flow in AUTOSAR models;Journal of Computer Virology and Hacking Techniques;2018-03-06

5. Bridging the gap between practical cases and temporal performance analysis;Proceedings of the 25th International Conference on Real-Time Networks and Systems;2017-10-04