A Formal Analysis of Authentication in the TPM (short paper)

Stéphanie Delaune, Steve Kremer, Mark D. Ryan, and Graham Steel. A Formal Analysis of Authentication in the TPM (short paper). In Preliminary Proceedings of the 8th International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo'10), Paris, France, August 2010.

Download

[PDF] [PS] 

Abstract

(unavailable)

BibTeX

@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)},
  year =          {2010},
  acronym =       {{SecCo}'10},
  nmonth =        {8},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DKRS-secco10.pdf},
}