11603 search results - page 103 / 2321 » Embedded System Security |
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
138
click to vote
ESORICS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
128
click to vote
JSA
2007
15 years 4 months ago
2007
In this paper, a new methodology is presented for topology optimization of networked embedded systems as they occur in automotive and avionic systems as well
133
click to vote
ICCCN
2008
IEEE
15 years 11 months ago
2008
IEEE
—Detecting anomalies during the operation of a network is an important aspect of network management and security. Recent development of high-performance embedded processing syste...