TY - CONF T1 - Breaking the Model: Finalisation and a Taxonomy of Security Attacks JO - Electronic Notes in Theoretical Computer Science PY - 2005/07/21 AU - Clark JA AU - Stepney S AU - Chivers H ED - DO - DOI: 10.1016/j.entcs.2005.04.033 PB - Elsevier BV VL - 137 IS - 2 SP - 225 EP - 242 Y2 - 2024/12/22 ER -