Modeling packet rate covert timing channels | IEEE Conference Publication | IEEE Xplore