Protocol Analysis with AVISPA

Matthias Radestock wrote “I have been playing with [old link: http://www.avispa-project.org] AVISPA recently, a tool to model protocols and check them for security vulnerabilities. Overall this is quite an impressive piece of software. The installation is painless, the documentation is good, and it has some neat features, like the presentation of attack traces as Message Sequence Charts. It…”

Jumbo: quoting for Java

Michael Bridgen wrote “Vitaly ran into peer-moderation today by posting a pointer to [old link: http://shasta.cs.uiuc.edu/Jumbo/ ] Jumbo, which supports meta-programming for Java. Tom said: […] it looks lovely, but what i fail to understand is why this is better as an extension for java, rather than using a lisp-like language, which is much more suitable for compile-time…”