@inproceedings{inproceedings, title = {{Breaking the Model: Finalisation and a Taxonomy of Security Attacks}}, publisher = {{Elsevier BV}}, url = {{}}, year = {{2005}}, month = {{7}}, author = {{Clark JA and Stepney S and Chivers H}}, doi = {{10.1016/j.entcs.2005.04.033}}, volume = {{137}}, journal = {{Electronic Notes in Theoretical Computer Science}}, issue = {{2}}, pages = {{225-242}}, note = {{Accessed on 2024/12/22}}}