Combining IID with BDD to Enhance the Critical Quality of Security Functional Requirements | IEEE Conference Publication | IEEE Xplore