Verifying data secure flow in AUTOSAR models-Reference-Cited by-同舟云学术

Verifying data secure flow in AUTOSAR models

Published:2018-03-06 Issue:4 Volume:14 Page:269-289
ISSN:2263-8733
Container-title:Journal of Computer Virology and Hacking Techniques
language:en
Short-container-title:J Comput Virol Hack Tech

Author:

Bernardeschi Cinzia^ORCID,Di Natale Marco,Dini Gianluca,Palmieri Maurizio

Funder

H2020 LEIT Information and Communication Technologies

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,Hardware and Architecture,Software,Computer Science (miscellaneous)

Link

http://link.springer.com/article/10.1007/s11416-018-0317-y/fulltext.html

Reference38 articles.

1. Adelsbach, A., Huber, U., Sadeghi, A.: Secure software delivery and installation in embedded systems. In: Lemke, K., Paar, C., Wolf, M. (eds.) Embedded Security in Cars, pp. 27–49. Springer, Berlin (2006)

2. AUTOSAR: https://www.autosar.org/

3. AUTOSAR: General Requirements on Basic Software Modules. https://www.autosar.org/fileadmin/user_upload/standards/classic/3-2/AUTOSAR_SRS_General.pdf

4. AUTOSAR: Safety Use Case Example. https://www.autosar.org/fileadmin/user_upload/standards/classic/4-3/AUTOSAR_EXP_SafetyUseCase.pdf

5. AUTOSAR: Specification of Crypto Abstraction Library. https://www.autosar.org/fileadmin/user_upload/standards/classic/4-1/AUTOSAR_SWS_CryptoAbstractionLibrary.pdf

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

1. A comprehensive framework for the analysis of automotive systems;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23