653 search results - page 71 / 131 » A Logic of Secure Systems and its Application to Trusted Com... |
MIDDLEWARE
2005
Springer
14 years 2 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
EUSAI
2007
Springer
13 years 11 months ago
2007
Springer
Developing applications for smart spaces is a challenging task. Most programming systems narrowly focus on the embedded computer infrastructure and neglect the spatial aspect of th...
CN
2007
13 years 9 months ago
2007
Ad hoc groups, such as peer-to-peer (P2P) systems and mobile ad hoc networks (MANETs) represent recent technological advancements. They support low-cost, scalable and fault-tolera...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
1 There are increasing deployments of networked embedded systems and rising threats of malware intrusions on such systems. To mitigate this threat, it is desirable to enable common...
IADIS
2004
13 years 10 months ago
2004
The PolicyUpdater1 system is a generic access control system that provides policy evaluations and dynamic policy updates. These functions are achieved by the use of a logic-based ...