1484 search results - page 113 / 297 » Security policies for downgrading |
192
click to vote
NSDI
2010
15 years 7 months ago
2010
We present Airavat, a MapReduce-based system which provides strong security and privacy guarantees for distributed computations on sensitive data. Airavat is a novel integration o...
156
click to vote
LISP
2002
15 years 6 months ago
2002
Security-typed languages enforce secrecy or integrity policies by type-checking. This paper investigates continuation-passing style (CPS) as a means of proving that such languages...
213
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
171
click to vote
NCA
2006
IEEE
16 years 13 days ago
2006
IEEE
A Grid system is a Virtual Organization that is composed of several autonomous domains. Authorization in such a system needs to be flexible and scalable to support multiple securi...
174
click to vote
WETICE
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...