bibtex

@inproceedings{Laf08,
    title = {Relation between intruder deduction problem and unification },
    author = {Lafourcade, Pascal},
    year = {2008},
    booktitle = {{P}roceedings of the {LICS}-Affiliated 3rd {I}nternational {W}orkshop on {S}ecurity and {R}ewriting {T}echniques ({SecReT}'08)},
    team = {DCS},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121961