1484 search results - page 201 / 297 » Security policies for downgrading |
198
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
180
click to vote
SOUPS
2009
ACM
16 years 1 months ago
2009
ACM
Social navigation is a promising approach for supporting privacy and security management. By aggregating and presenting the choices made by others, social navigation systems can p...
164
click to vote
CCS
2007
ACM
16 years 23 days ago
2007
ACM
The increasing number of software-based attacks has attracted substantial efforts to prevent applications from malicious interference. For example, Trusted Computing (TC) technolo...
182
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
186
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
In-network aggregation is an essential primitive for performing queries on sensor network data. However, most aggregation algorithms assume that all intermediate nodes are trusted...