Hi,
I still not have read all your paper, but my first word is congratulations!
That's an hard job.
Since a quick search didn't give a result for it, and maybe others could
be interested:
The AVISPA (Automated Validation of Internet Security Protocols and
Applications) project aims at developing
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
Folks,
In August 2008 the UK CPNI (United Kingdom's Centre for the Protection of
National Infrastructure) published the document Security Assessment of the
Internet Protocol. The motivation of the aforementioned document is
explained in the