A Bayesian game based defense scheme for CBTC systems under Man-in-the-middle attacks | IEEE Conference Publication | IEEE Xplore