@inproceedings{DJL+07,
title = {Game-based Criterion Partition Applied to Computational Soundness of Adaptive Security },
author = {Daubignard, Marion and Janvier, Romain and Lakhnech, Yassine and Mazar\'e, Laurent},
year = {2007},
booktitle = {International Workshop on Formal Aspects in Security and Trust (FAST'06), Revised Selected Papers, Hamilton, Canada, August 2006},
pages = {47-64},
series = {lncs},
volume = {4691},
team = {DCS},
}
