5255 search results - page 350 / 1051 » Formal Methods for Privacy |
140
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
We construct two new multiparty digital signature schemes that allow multiple signers to sequentially produce a compact, fixed-length signature. First, we introduce a new primiti...
156
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...
132
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
158
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
129
Voted
IWSEC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...