3516 search results - page 319 / 704 » Integrating Security Modeling into Embedded System Design |
123
click to vote
ESTIMEDIA
2009
Springer
15 years 10 months ago
2009
Springer
— The complexity of today’s embedded systems forces designers to model and simulate systems and their components to explore the wide range of design choices. Such design space ...
165
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
165
Voted
SENSYS
2004
ACM
15 years 9 months ago
2004
ACM
The enormous potential for wireless sensor networks to make a positive impact on our society has spawned a great deal of research on the topic, and this research is now producing ...
128
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Electronic Transactions over the Internet, particularly using the World Wide Web have become an integral part of economic life. Recently also the public sector has started to use ...
115
click to vote
JNCA
2006
15 years 4 months ago
2006
Traditional database security mechanisms are very limited in defending against data attacks. Authorized but malicious transactions can make a database useless by impairing its int...