发明名称 |
ACCUMULATING AUTOMATA AND CASCADED EQUATIONS AUTOMATA FOR NON-INTERACTIVE AND PERENNIAL SECURE MULTI-PARTY COMPUTATION |
摘要 |
A method of securely executing practically unbounded input stream of symbols, by non-interactive, multi-party computation, according to which the input stream is distributed among a plurality of parties, which do not communicate among themselves throughout execution, by a dealer with a secret initial state. The dealer distributes shares of the secret state between the parties. The input stream is executed by a finite-state automaton which may be an accumulating automaton with accumulating nodes or an automaton that is defined by a series of cascaded equations. During any execution stage, the input stream and the current state of the original automaton are concealed from any coalition of participants being smaller than a given threshold. Upon receiving a signal from the dealer, the parties terminate the execution and submit their internal state to the dealer, which computes the current state that defines the computation result. |
申请公布号 |
US2016149866(A1) |
申请公布日期 |
2016.05.26 |
申请号 |
US201414786656 |
申请日期 |
2014.04.23 |
申请人 |
B.G. NEGEV TECHNOLOGIES AND APPLICATIONS LTD. |
发明人 |
Dolev Shlomo;Gilboa Niv;Li Ximing |
分类号 |
H04L29/06;H04L12/58;G06F21/62 |
主分类号 |
H04L29/06 |
代理机构 |
|
代理人 |
|
主权项 |
1. A method of securely executing an unbounded or practically unbounded input stream of symbols, by non-interactive, multi-party computation, comprising:
distributing said input stream among a plurality of parties, which do not communicate among themselves throughout execution, by a dealer having a secret initial state, said dealer distributes shares of said secret state between said parties; providing a finite-state automaton defined by a series of cascaded equations, for executing said input stream, said automaton being a cascade product of component automata of different types and shared by said parties; during any execution stage, concealing said input stream and the current state of the original automaton from any coalition of participants being smaller than a given threshold; upon receiving a signal from said dealer, causing said parties to terminate their execution and to submit their internal state to said dealer; and computing the current state that defines the computation result by said dealer. |
地址 |
Beer Sheva IL |