5255 search results - page 350 / 1051 » Formal Methods for Privacy |
179
click to vote
CCS
2007
ACM
16 years 27 days 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...
192
click to vote
CCS
2007
ACM
16 years 27 days 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...
174
click to vote
ESORICS
2007
Springer
16 years 27 days 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...
190
click to vote
ESORICS
2007
Springer
16 years 27 days 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...
161
click to vote
IWSEC
2007
Springer
16 years 26 days 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...