325 search results - page 31 / 65 » Secure safe ambients |
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
SP
2010
IEEE
15 years 3 months ago
2010
IEEE
—A growing number of current web sites combine active content (applications) from untrusted sources, as in so-called mashups. The object-capability model provides an appealing ap...
107
click to vote
SACMAT
2009
ACM
15 years 6 months ago
2009
ACM
The recent emergence of mandatory access (MAC) enforcement for virtual machine monitors (VMMs) presents an opportunity to enforce a security goal over all its virtual machines (VM...
179
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a secure network service for sovereign information sharing whose only trusted component is an off-theshelf secure coprocessor. The participating data providers send enc...
101
click to vote
SAFECOMP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...