Rauli Kaksonen

• A functional method for assessing protocol implementation security