%0 Conference Paper %B Proc. Eighth International Conference on Electronic Commerce (ICEC'06) %D 2006 %T Passive Verification of the Strategyproofness of Mechanisms in Open Environments %A Laura Kang %A David C. Parkes %B Proc. Eighth International Conference on Electronic Commerce (ICEC'06) %P 19-30 %G eng %U http://econcs.seas.harvard.edu/files/econcs/files/verif3.pdf