Mathematical Theories for Computer and Network Security Engineering (IEEE Press Series on Information and Communication Networks Security)