A probabilistic logic of cyber deception