3516 search results - page 149 / 704 » Integrating Security Modeling into Embedded System Design |
112
click to vote
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
131
Voted
CSREAESA
2006
15 years 4 months ago
2006
Traditional simulation-based energy estimation is not practical because the simulation time has increased from minutes and hours and weeks. Therefore, simulation assisted by speci...
124
click to vote
WORDS
2005
IEEE
15 years 8 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
117
Voted
RTAS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper tackles the problem of defining an appropriate access control model for multi-user systems providing adaptive resource reservations to unprivileged users. Security req...
133
click to vote
PERVASIVE
2004
Springer
15 years 8 months ago
2004
Springer
Ensuring authenticity and integrity are important tasks when dealing with goods. While in the past seal wax was used to ensure the integrity, electronic devices are now able to tak...