762 search results - page 118 / 153 » Security Contexts in Autonomic Systems |
LICS
1999
IEEE
14 years 2 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
CSMR
2006
IEEE
14 years 4 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
ERSA
2006
13 years 11 months ago
2006
One of the pillars of trust-worthy computing is process isolation, the ability to keep process data private from other processes running on the same device. While embedded operati...
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
To allow for an efficient usage of a device in pervasive computing environments, reliable and yet convenient user access is an important requirement. The problem becomes more comp...
SIGOPSE
2000
ACM
14 years 2 months ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...