Towards a logic of privacy-preserving selective disclosure credential protocols | IEEE Conference Publication | IEEE Xplore