Crypto-Aided Bayesian Detection of False Data in Short Messages