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