Adaptive Reasoning in the Presence of Imperfect Security Requirements | IEEE Conference Publication | IEEE Xplore