Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees | IEEE Conference Publication | IEEE Xplore