@techreport{440,
  title = "Analysing TLS in the Strand Spaces Model",
  author = "Allaa Kamil and Gavin Lowe",
  year = "2008",
}