본 발명 의 실시 예 들 은 프로세서 의 마이크로코드 에 의해 시행 되 는 강제 적 무결 성 정책 을 구현 함 으로써 보호 된 실행 환경 을 제공 한다 . 무결성 규칙 들 은 공식 적 으로 지정 되 어 ( 예 를 들 면 , 비바 ) 실증 및 보안 평가 를 더 간단 하 게 만든 다 . 프로세서 하드웨어 ( 마이크로코드 ) 에서 의 시행 은 컴 프 러 마 이징 된 ( compromised ) OS 가 보안 정책 을 용이 하 게 약화 시킬 수 없 도록 보장 한다 . 본 발명 의 실시 예 들 은 가상 화 되 고 비 - 가상 화 된 환경 들 양쪽 모두 에서 , 그리고 임의 의 오퍼레이팅 시스템 환경 에서 적용 될 수 있 다 .