3516 search results - page 27 / 704 » Integrating Security Modeling into Embedded System Design |
IJNSEC
2008
13 years 7 months ago
2008
I3E
2001
13 years 9 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
HASE
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently ...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
Due to their increasing complexity, design of software systems is not becoming easier. Furthermore, modern applications ranging from enterprise to embedded systems require very hig...
HOST
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper addresses a new threat to the security of integrated circuits (ICs) used in safety critical, security and military systems. The migration of IC fabrication to low-cost ...