Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method.

Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas

Browse the full ISoLA paper archive.