Key points are not available for this paper at this time.
보안 커널은 컴퓨터 시스템 내에서 접근 제어를 시행하는 소프트웨어 및 하드웨어 메커니즘입니다. PDP-11/45에서의 보안 커널의 정확성이 입증되고 있습니다. 본 논문은 안전한 시스템에 대한 공리와 관련하여 프로그램의 형식적 사양을 검증하는 첫 번째 단계에서 사용된 기술을 설명합니다.
Jonathan K. Millen (토요일)은 이 질문을 연구했습니다.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: