-
1
-
-
80051994765
-
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
-
-
"The EVITA european project," http://www.evita-project.org/.
-
-
-
-
3
-
-
77950410586
-
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
-
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
-
-
"TTool in," http://ttool.telecom-paristech.fr.
-
-
-
-
11
-
-
83755218157
-
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
-
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
-
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
-
-
77950397788
-
Specification and evaluation of E-security relevant use cases
-
E. Kelling et al., "Specification and Evaluation of E-security Relevant Use Cases," EVITA Project, Tech. Rep. Deliverable D2.1, 2009.
-
(2009)
EVITA Project, Tech. Rep. Deliverable D2.1
-
-
Kelling, E.1
-
19
-
-
47349122916
-
A UML-based environment for system design space exploration
-
Nice, France, Dec.
-
-, "A UML-based environment for system design space exploration," in 13th IEEE International Conference on Electronics, Circuits and Systems (ICECS'2006), Nice, France, Dec. 2006.
-
(2006)
13th IEEE International Conference on Electronics, Circuits and Systems (ICECS'2006)
-
-
Apvrille, L.1
-
20
-
-
35048861846
-
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
-
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
|