Merkle Tree Traversal in Log Space and Time
the tesla broadcast authentication protocol .