2422 search results - page 228 / 485 » Security Policy Consistency |
170
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify preci...
167
click to vote
CISIS
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
175
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we describe our approach for developing a QoS-aware, dependable execution environment for large-scale distributed stream processing applications. Distributed stream ...
176
click to vote
MADNES
2005
Springer
16 years 5 days ago
2005
Springer
An outstanding security problem in mobile agent systems is resource access control, or authorization in its broader sense. In this paper we present an authorization framework for m...
151
click to vote
SDMW
2004
Springer
16 years 17 hour ago
2004
Springer
ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to unders...