Enhanced security of building automation systems through microkernel-based controller platforms X Wang, R Habeeb, X Ou, S Amaravadi, J Hatcliff, M Mizuno, M Neilsen, ... 2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017 | 15 | 2017 |