11603 search results - page 103 / 2321 » Securing Embedded Systems |
CODES
2001
IEEE
14 years 16 days ago
2001
IEEE
ESORICS
2000
Springer
14 years 15 days 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...
JSA
2007
13 years 8 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
MSWIM
2006
ACM
14 years 2 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
MDAI
2005
Springer
14 years 2 months ago
2005
Springer
Watermarking has been used on multimedia for a variety of applications, among which intellectual property protection stands out. However, and in spite of a growing need, very few a...