Verimag

bibtex

@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},
}

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 12 ; visits: 422159