679 search results - page 60 / 136 » Using decision problems in public key cryptography |
119
click to vote
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
113
click to vote
EUROCRYPT
2005
Springer
15 years 7 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...
144
click to vote
CPAIOR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
164
click to vote
SOCIALCOM
2010
14 years 11 months ago
2010
Abstract--In both the commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information. In this paper we address the threat of infor...
111
click to vote
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...