Revisiting security properties in Single Secret Leader Election | IEEE Conference Publication | IEEE Xplore