Real-Time External Equivalents for Static Security Analysis | IEEE Journals & Magazine | IEEE Xplore