3420 search results - page 118 / 684 » A Language-Based Approach to Security |
127
click to vote
DOLAP
2004
ACM
15 years 9 months ago
2004
ACM
We address the inference control problem in data cubes with some data known to users through external knowledge. The goal of inference controls is to prevent exact values of sensi...
112
click to vote
ACSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
135
click to vote
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
A crucial aspect of safety case management is the ongoing maintenance of the safety argument through life. Throughout the operational life of any system, the corresponding safety ...
132
click to vote
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Traditionally, creation and revocation of certificates are performed manually, by trusted agents, under conditions that are rarely formalized. This approach to certificate managem...
127
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The ubiquitous proliferation of mobile devices has given rise to novel user-centric application and services. In current mobile systems, users gain access to remote service provide...