복수 당사자 공정 교환 프로토콜

암호학에서 다자간 공정 교환 프로토콜은 당사자들이 그 대가로 ^[1]아이템을 받는 경우에만 아이템을 인도하는 것을 수락하는 프로토콜입니다.

정의.

매튜 K. 프랭클린과 진 추딕은 1998년에 다음과^[2] 같은 분류를 제안했다.

n $(\displaystyle$ n $)$ 당사자 $n$ 단일 유닛 일반 $n$ 은 { $\{1...n\}$ 의 치환 $\sigma$ $\sigma$ ${\displaystyle \sigma).$ $n$ $n$ 여기서 각 $P_{i}$ 의 $P_{i}$ Pi({ $displaystyle$ $P_{$ i $P_{i}$ })는 $K_{i}$ Ki({ $displaystyle$ $K_$ ${$ $i$ 를 P $P_{\sigma (i)}$ $K_{\sigma ^{-1}(i)}$ $P_{\sigma (i)}$ i $)$ 로 단일 유닛을 제공하며, $K_{\sigma ^{-1}(i)}$ K $K_{\sigma ^{-1}(i)}$ - $K_{\sigma ^{-1}(i)}$ ( $i$ )({\ $sigma ^-1})$ 로부터 $K_{{\sigma ^{{-1}}(i)}}$ 1 $P_{\sigma ^{-1}(i)}$ 을 받습니다. $시그마$ ^{- $1}(i$
n $(\displaystyle$ n $)$ 파티의 $n$ 복수 유닛 일반 $n$ 은 바스켓의 매트릭스입니다.여기서 $i행$ 과 $j열$ 에 있는 $Bij$ $(\$ $displaystyle$ $i$ ${ij$ $})$ $B_{ij}$ 는 $(\$ })가 $P_{i}$ $(\$ 에게 $j$ 주는 상품 바구니입니다.

^ Mukhamedov, Aybek; Kremer, Steve; Ritter, Eike. "Analysis of a Multi-Party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space model". Financial Crypto. 2005.
^ Franklin, Matthew K.; Tsudik, Gene (1998). "Secure Group Barter: Multi-party Fair Exchange with Semi-trusted Neutral Parties". Lecture Notes in Computer Science. 1465: 90–102. doi:10.1007/BFb0055475. ISBN 978-3-540-64951-9.

이 암호 관련 기사는 스텁입니다.위키피디아를 확장함으로써 위키피디아를 도울 수 있습니다.