Verifying a Privacy CA Remote Attestation Protocol. - Brigid Halling; Perry Alexander (NASA Formal Methods, 2013)