removal of threats, introduction covered in App PP
removal of assumptions and security objectives covered in App PP