US7035404B2 - Method and Apparatus for Shuffle with Proof, Method and Apparatus for Shuffle Verification, Method and Apparatus for Generating Input Message Sequence and Program for Same