Using Strand Space Model to Verify the Privacy Properties of a Fair Anonymous Authentication Scheme | IEEE Conference Publication | IEEE Xplore