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


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3901737