343 search results - page 59 / 69 » Formal security analysis of PKCS |
87
Voted
SAC
2009
ACM
15 years 4 months ago
2009
ACM
In a typical client-server scenario, a trusted server provides valuable services to a client, which runs remotely on an untrusted platform. Of the many security vulnerabilities th...
111
Voted
CCS
2008
ACM
14 years 11 months ago
2008
ACM
Network operators are reluctant to share traffic data due to security and privacy concerns. Consequently, there is a lack of publicly available traces for validating and generaliz...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
FC
2005
Springer
15 years 3 months ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
ESORICS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...