On Efficient Security Modelling of Complex Interconnected Communication Systems based on Markov Processes | IEEE Conference Publication | IEEE Xplore