1081 search results - page 62 / 217 » Towards Application Security on Untrusted Operating Systems |
HOTOS
2003
IEEE
14 years 2 months ago
2003
IEEE
The emergence of the global Internet has dramatically broadened and changed the computing landscape. In particular, much of the value in contemporary computing systems derives fro...
IEEEARES
2006
IEEE
14 years 2 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
ISER
2000
Springer
14 years 10 days ago
2000
Springer
: In the future, we propose that there will be largely self-sufficient robot colonies operating on distant planets and in harsh environments here on earth. A highly desirable quali...
AICCSA
2006
IEEE
14 years 2 months ago
2006
IEEE
The increased complexity, heterogeneity and the dynamism of networked systems and services make current control and management tools to be ineffective in managing and securing suc...
PACT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...