Modeling Cyber Security of Information Systems Smart City Based on the Theory of Games and Markov Processes | IEEE Conference Publication | IEEE Xplore