8644 search results - page 257 / 1729 » On the Composition of Secure Systems |
186
Voted
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a method for dynamic security domain scaling on SMPs that offers both highly scalable performance and high security for future high-end embedded systems. Its most impor...
150
click to vote
SCS
2003
15 years 8 months ago
2003
Systems whose failure can lead to the damage of property or the environment, or loss of human life are regarded as safety-critical systems. It is no longer adequate to build safet...
161
click to vote
DBSEC
2000
15 years 8 months ago
2000
Database systems are being more and more used, with larger sized databases, and as components of very complex systems, that include numerous protocols. Database security problems ...
184
click to vote
ICDS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Emergence of new networking technologies and paradigms provides users multitude of ways to communicate with each others and exchange information irrespective of time and place. ...
149
click to vote
DATE
2006
IEEE
16 years 24 days ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...