the full version (26/01/05): pear.zip
java sources, javacc grammars, xml stylesheets, rule and protocol encodings included
the latest protocol encodings (26/01/05): protocols.zip
see the protocol section for a detailed
description
the latest rule sets (26/01/05): rules.zip
| synt-analysis.vr | This system implements the syntactic analysis presented in BFM04-1: these rules allow you to analyze protocols based on the shared key scheme and handle any TTP interaction. |
| type-system-typed-nonce.vr | This system implements the type and effect system presented in BFM04-2: these rules allow you to analyze message authentication protocols based both on the shared key scheme and on the public key one. |
| type-system-inferred.vr | This is a modified version of the previous system which doesn't need any nonce typing, moreover it provides support for entity authentication protocols. |
| type-system-entity.vr type-system-message.vr |
These systems are the previous split into the parts providing entitiy authentication and message authentication respectively: using only the appropriate rule set should improve performances. |
the XML Protocol Encoding DTD and the latest XSL stylesheets (26/01/05): xml.zip