1186 search results - page 64 / 238 » A New Approach to Secure Logging |
93
Voted
ICIW
2009
IEEE
15 years 7 months ago
2009
IEEE
When considering Web services’ (WS) use for online business-to-business (B2B) collaboration between companies, security is a complicated and very topical issue. This is especial...
96
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
85
Voted
ACSAC
2003
IEEE
15 years 5 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...
93
Voted
PVLDB
2010
14 years 11 months ago
2010
In this paper, we present a new record linkage approach that uses entity behavior to decide if potentially different entities are in fact the same. An entity’s behavior is extra...
105
Voted
DSN
2008
IEEE
15 years 2 months ago
2008
IEEE
Software vulnerabilities are the root cause of a wide range of attacks. Existing vulnerability scanning tools are able to produce a set of suspects. However, they often suffer fro...