TESLA

The Isabelle source files for PTB's framework for proofs about security in synchronization as well as the two-way NTS protocol model plus proofs and the one-way TESLA-protected synchronization protocol model plus proofs.