The zip file contains the source code of the browser models and analysis, as well as the cryptographic protocols shown in the thesis, together with a version of MaudeNPA. All of it runs in Maude 2.6.
SOURCE CODE