Boosting Logical Attack Graph for Efficient Security Control | IEEE Conference Publication | IEEE Xplore