Formalized security model of identity-based multi-proxy signature | IEEE Conference Publication | IEEE Xplore