@TECHREPORT{SmartRight01,
  AUTHOR = {Thomson},
  TITLE = {Smartright Technical White Paper v1.0},
  INSTITUTION = {Thomson},
  YEAR = 2001,
  MONTH = {october},
  NOTE = {http://www.smartright.org}
}

@INPROCEEDINGS{GenetTalpinTong03,
  AUTHOR = {Thomas Genet and Yan-Mei Tang-Talpin and Val{\' e}rie Viet Triem Tong},
  TITLE = {Verification of Copy-Protection Cryptographic Protocol using Approximations of Term Rewriting Systems},
  BOOKTITLE = {Proc. of WITS'03,  Workshop on Issues in the Theory of Security},
  YEAR = 2003
}