Understanding the Windows EAL4 evaluation | IEEE Journals & Magazine | IEEE Xplore