1 |
Stephen C., Damon M., Brain K., Danny A., Hovav S., Stefan S., Karl K., Alexei C., Franziska R. and Tadayoshi K., Comprehensive experimental analyses of automotive attack surfaces. SEC, Vol. 11, pp. 1-16, 2011.
|
2 |
P. Papadimitratos, A. de La Fortelle, K. Evensen, R. Brignolo, and S. Cosenza, Vehicular communication systems: Enabling technologies, applications, and future outlook on intelligent transportation. IEEE Communications Magazine, Vol. 11, No. 1, pp. 84-95, 2009.
|
3 |
ISO 26262, Road vehicles - Functional safety, Management of functional safety & Concept phase
|
4 |
P. Papadimitratos, V. Gligor, and J.-P. Hubaux, Securing Vehicular Communications Assumptions, Requirements, and Principles. Workshop on Embedded Security in Cars(ESCAR), Berlin, Germany, 2006.
|
5 |
G. Lowe. Casper: A compiler for the analysis of security protocols. User Manual and Tutorial. Version 1.12, 2009.
|
6 |
Formal Systems(Europe) Ltd, Oxford University Computing Laboratory, Failures-Divergence Renement. FDR2 User Manual, 19th, October 2010.
|
7 |
PRESERVE(PREparing SEcuRe VEhicle-to-X Communication Systems)Deliverable 1.1, Security Requirements of Vehicle Security Architecture. June 2011.
|
8 |
C.A.R Hoare. Communicating Sequential Processes. Prentice-Hall. 1985.
|
9 |
A. Festag, P. Papadimitratos, and T. Tielert, Design and Performance of Secure Geo-cast for Vehicular Communication. IEEE Transactions on Vehicular Technology (IEEE TVT), Vol. 59, No. 5, pp. 1-16, 2010.
DOI
ScienceOn
|
10 |
N. Ristanovic, P. Papadimitratos, G. Theodorakopoulos, J.-P. Hubaux and J.-Y. Le Boudec, Adaptive Message Authentication for Multi-Hop Networks. IEEE/IFIP International Conference on Wireless On-demand Network Systems and Services (IEEE/IFIP WONS), Bardonecchia, Italy, 2011.
|