The attacker in ubiquitous computing environments: formalising the threat model - Roscoe, A; Creese, S; Goldsmith, M; I.Zakiuddin (2003)