Critical Security Methods (New frameworks for analysis) - 9780415712958