| @inproceedings{DKRS-secco10, | ||
| address = | {Paris, France}, | |
| author = | {Delaune, St{\'e}phanie and Kremer, Steve and Ryan, Mark D. and Steel, Graham}, | |
| booktitle = | {{P}reliminary {P}roceedings of the 8th {I}nternational {W}orkshop on {S}ecurity {I}ssues in {C}oordination {M}odels, {L}anguages and {S}ystems ({SecCo}'10)}, | |
| editor = | {Cortier, V{\'e}ronique and Chatzikokolakis, Kostas}, | |
| month = | aug, | |
| title = | {A~Formal Analysis of Authentication in the {TPM} (short paper)}, | |
| url = | {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DKRS-secco10.pdf}, | |
| year = | {2010}, | |
| } | ||