715 search results - page 109 / 143 » On Run-Time Enforcement of Policies |
IFIPTM
2010
13 years 6 months ago
2010
Abstract. Language-based information-flow security is concerned with specifying and enforcing security policies for information flow via language constructs. Although much progre...
MASS
2010
13 years 5 months ago
2010
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
TRUST
2009
Springer
14 years 2 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...
FSEN
2009
Springer
14 years 2 months ago
2009
Springer
The dream of Model Driven Engineering (MDE) is that Software Engineering activities should be performed only on models, but in practice a significant amount of programming is still...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
Energy is the critical limiting resource to mobile computing devices. Correspondingly, an operating system must track, provision, and ration how applications consume energy. The e...