11603 search results - page 391 / 2321 » Embedded System Security |
189
click to vote
ECBS
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
176
click to vote
RTAS
2010
IEEE
15 years 4 months ago
2010
IEEE
Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different c...
181
click to vote
FOSAD
2009
Springer
16 years 1 months ago
2009
Springer
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and t...
193
click to vote
CSFW
2008
IEEE
16 years 1 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
190
click to vote
SASN
2004
ACM
16 years 5 days ago
2004
ACM
This paper studies security for data aggregation in sensor networks. Current aggregation schemes were designed without security in mind and there are easy attacks against them. We...