Verification of characteristics of the parametric model for the RC4 reference channel | IEEE Conference Publication | IEEE Xplore