Proxy Ring Signature: Formal Definitions, Efficient Construction and New Variant | IEEE Conference Publication | IEEE Xplore