@inproceedings{nagarajan:hal-01056684,
  TITLE = {{Modelling Dynamic Trust with Property Based Attestation in Trusted Platforms}},
  AUTHOR = {Nagarajan, Aarthi and Varadharajan, Vijay},
  URL = {https://inria.hal.science/hal-01056684},
  BOOKTITLE = {{24th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSEC)}},
  ADDRESS = {Rome, Italy},
  EDITOR = {Sara Foresti; Sushil Jajodia},
  PUBLISHER = {{Springer}},
  SERIES = {Data and Applications Security and Privacy XXIV},
  VOLUME = {LNCS-6166},
  PAGES = {257-272},
  YEAR = {2010},
  MONTH = Jun,
  DOI = {10.1007/978-3-642-13739-6\_17},
  PDF = {https://inria.hal.science/hal-01056684/file/_36.pdf},
  HAL_ID = {hal-01056684},
  HAL_VERSION = {v1},
}