860 search results - page 62 / 172 » Completeness in two-party secure computation: a computationa... |
163
click to vote
ISM
2008
IEEE
16 years 16 days ago
2008
IEEE
Selective encryption is a new trend in content protection. It aims at reducing the amount of data to encrypt while achieving a sufficient and inexpensive security. This approach ...
187
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
213
click to vote
ATC
2007
Springer
16 years 9 days ago
2007
Springer
Service-oriented architectures (SOA) and, in particular, Web Services designs are currently widely used for the development of open, large-scale interoperable systems. In those sys...
183
click to vote
ACMSE
2006
ACM
16 years 3 days ago
2006
ACM
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
182
click to vote
TRUST
2009
Springer
16 years 22 days 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...