Verified Security of BLT Signature Scheme