An Approach to Analyzing the Windows and Linux Security Models | IEEE Conference Publication | IEEE Xplore