Here's some related work from 2005: http://www.google.co.uk/search?ie=UTF-8&q=%22A+Nitpickers+guide+to+a+minimal-complexity+secure+GUI%22 http://www.google.co.

Here's some related work from 2005: http://www.google.co.uk/search?ie=UTF-8&q=%22A+Nitpickers+guide+to+a+minimal-complexity+secure+GUI%22 http://www.google.co.uk/search?ie=UTF-8&q=%22A+Nitpicker...