If n > 3m and m ≥ ta, then authLSP(m) achieves validity and agreement. ... (Recall that if bd /∈ {0,1}, then D switches his input for valid input with ...
確定! 回上一頁