A Description Logic for PKI Trust Domain Modeling | IEEE Conference Publication | IEEE Xplore