메뉴 건너뛰기




Volumn , Issue , 2011, Pages

A formal methodology applied to secure over-the-air automotive applications

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMOTIVE APPLICATIONS; CONTROL UNIT; ELECTRONIC DEVICE; FORMAL VERIFICATIONS; OVER THE AIRS; POTENTIAL ATTACK; SAFETY PROPERTY; STRINGENT REQUIREMENT; UML PROFILES;

EID: 83755181752     PISSN: 15502252     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VETECF.2011.6093061     Document Type: Conference Paper
Times cited : (13)

References (22)
  • 1
    • 80051994765 scopus 로고    scopus 로고
    • TEPE: A SysML language for timed-constrained property modeling an formal verification
    • November
    • D. Knorreck et al., "TEPE: A SysML language for timed-constrained property modeling an formal verification," in Proceedings of the UML&Formal Methods Workshop (UML&FM), November 2010.
    • (2010) Proceedings of the UML&Formal Methods Workshop (UML&FM)
    • Knorreck, D.1
  • 2
    • 84855359803 scopus 로고    scopus 로고
    • "The EVITA european project," http://www.evita-project.org/.
  • 3
    • 77950410586 scopus 로고    scopus 로고
    • Security requirements for automotive on-board networks based on dark-side scenarios
    • A. Ruddle et al., "Security Requirements for Automotive On-Board Networks based on Dark-side Scenarios," EVITA Project, Tech. Rep. Deliverable D2.3.
    • EVITA Project, Tech. Rep. Deliverable D2.3
    • Ruddle, A.1
  • 4
    • 56749175324 scopus 로고    scopus 로고
    • Key management and secure software updates in wireless process control environments
    • D. K. Nilsson et al., "Key management and secure software updates in wireless process control environments," WiSec 08, 2008.
    • (2008) WiSec 08
    • Nilsson, D.K.1
  • 9
    • 84855353529 scopus 로고    scopus 로고
    • "TTool in," http://ttool.telecom-paristech.fr.
  • 11
    • 83755218157 scopus 로고    scopus 로고
    • HIS flashloader specification version 1.1
    • T. Miehling et al., "HIS flashloader specification version 1.1," HIS Consortium, Tech. Rep., 2006.
    • (2006) HIS Consortium, Tech. Rep.
    • Miehling, T.1
  • 12
    • 83755187315 scopus 로고    scopus 로고
    • Secure firmware updates over the air in intelligent vehicles
    • D. Nilsson et al., "Secure Firmware Updates Over the Air in Intelligent Vehicles," in Proc. ICC Workshops, 2008.
    • (2008) Proc. ICC Workshops
    • Nilsson, D.1
  • 13
    • 62949201811 scopus 로고    scopus 로고
    • A framework for self-verification of firmware updates over the air in vehicle ECUs
    • -, "A Framework for Self-Verification of Firmware Updates Over the Air in Vehicle ECUs," in GLOBECOM Workshops 08.
    • GLOBECOM Workshops 08
    • Nilsson, D.1
  • 14
  • 20
    • 35048861846 scopus 로고    scopus 로고
    • Timed automata: Semantics, algorithms and tools
    • W. Reisig and G. Rozenberg eds., LNCS 3098, Springer-Verlag
    • J. Bengtsson et al., "Timed automata: Semantics, algorithms and tools," in Lecture Notes on Concurrency and Petri Nets. W. Reisig and G. Rozenberg (eds.), LNCS 3098, Springer-Verlag, 2004.
    • (2004) Lecture Notes on Concurrency and Petri Nets
    • Bengtsson, J.1
  • 22
    • 68249091950 scopus 로고    scopus 로고
    • Automatic verification of correspondences for security protocols
    • Jul.
    • B. Blanchet, "Automatic verification of correspondences for security protocols," Journal of Computer Security, vol. 17, no. 4, pp. 363-434, JUL 2009.
    • (2009) Journal of Computer Security , vol.17 , Issue.4 , pp. 363-434
    • Blanchet, B.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.