a provably secure secret handshake with dynamic controlled matching：一个可证明安全的秘密握手与动态控制的匹配.pdfVIP

c o m p u t e r s s e c u r i t y 2 9 ( 2 0 1 0 ) 6 1 9 – 6 2 7 a v a i l a bl e at ww w . sc i e nc e d ir e c t . co m j o u r n a l h o m e p a g e : w w w . e l s e v i e r . c om / l o c a t e / c o s e A provably secure secret handshake with dynamic controlled matching Alessandro Sorniotti a,b,*, Refik Molva b a SAP Research, 805, avenue du Dr. Maurice Donat, 06250 Mougins, France b ´ Institut Eurecom, 2229 route des Cretes, BP 193, F-06560, Sophia-Antipolis, France ˆ a r t i c l e i n f o a b s t r a c t Article history: A Secret Handshake is a protocol that allows two users to mutually verify one another’s Received 22 September 2009 properties, with the assurance that only authorized parties are able to engage in Received in revised form a successful protocol run. In case of simultaneous matching, the two parties share a key 21 October 2009 that can be used to secure subsequent communications. In this paper, we present the first Accepted 16 November 2009 Secret Handshake scheme that allows dynamic matching of properties under stringent security requirements: in particular, the right to prove and to verify are strictly under the Keywords: control of an authority. This work merges characteristics of Secret Handshake with Applied cryptography features peculiar to Secure Matchmaking. Secret handshakes