Analysing Protocol Implementations.

Anders Moen Hagalisletto, Lars Strand, Wolfgang Leister, Arne-Kristian Groven

Browse the full ISPEC paper archive.