Trusted computing - Mitchell, Chris (Institution of Electrical Engineers, 2005)