Misconfiguration-free compositional SDN for cloud networksPan, Heng; Li, Zhenyu; Zhang, Penghao; Cui, Penglai; Salamatian, Mohammad Reza Kave; Xie, GaogangIEEE Transactions on Dependable and Secure Computing2023 / p. 2484 - 2499 https://doi.org/10.1109/TDSC.2022.3185096 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS Securing class initialization in Java-like languagesRafnsson, Willard; Nakata, Keiko; Sabelfeld, AndreiIEEE transactions on dependable and secure computing2013 / p. 1-13 https://doi.org/10.1109/TDSC.2012.73 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS