共 44 条
[1]
[Anonymous], 2012, RFC 6347
[2]
[Anonymous], 2011, 20 USENIX SEC S AUG
[3]
[Anonymous], 2015, Handbook of driver assistance systems: Basic information, components and systems for active safety and comfort
[4]
[Anonymous], 2016, IEEE Std 802.15.4-2015, P1, DOI [10.1109/IEEESTD.2016.7786995, DOI 10.1109/IEEESTD.2016.7786995, DOI 10.1109/IEEESTD.2016.7460875]
[5]
AUTOSAR, 2017, SOME IP SERV DISC PR
[6]
AUTOSAR, 2016, SOME IP PROT SPEC
[7]
AUTOSAR, 2017, EXPL AD PLATF DES
[8]
Bello LL., 2011, ACM SIGBED REV, V8, P7, DOI [DOI 10.1145/2095256.2095257, 10.1145/2095256.2095257]
[9]
An efficient cryptographic protocol verifier based on prolog rules
[J].
14TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS,
2001,
:82-96
[10]
Broy Manfred, 2006, ACM P INT C SOFTW EN, V28, P33