What is TECP

Download

TECP - Tutorial Environment for Cryptographic Protocols

TECP is a tutorial environment allowing stepwise construction
of public key cryptography protocols and demonstration of their work.
It enables:

• visualization of protocols, including values of secret parameters
  and intermediate results,
• adding/removing communicating parties,
• adding/editing/sending/removing arbitrary parameters,
• handling number theoretic and cryptographic primitives (modular arithmetic,
  prime numbers, generators, hash functions, etc).