언어 기반 시스템
Language-based system언어 기반 시스템은 하드웨어 메커니즘 대신 또는 하드웨어 메커니즘 외에 보안을 제공하기 위해 언어 기능을 사용하는 운영 체제의 한 유형이다.이러한 시스템에서 신뢰할 수 있는 기반이라 불리는 코드는 프로그램 실행을 승인할 책임이 있으며, 프로그램이 먼저 탐지 및 처리되지 않고 시스템의 안정성을 해치는 작업을 수행할 수 없도록 보장한다.[1]그러한 조작이 불가능하다는 것을 보장하는 매우 일반적인 전략은 위험한 구문을 배제한 자바와 같은 높은 수준의 언어를 중심으로 시스템을 구축하는 것이다. 많은 언어들은 낮은 수준의 코드의 최소 양만 사용되면서 전적으로 그러한 언어로 작성된다.[2]이후language-based 시스템 미리는 시스템( 그러한 역 참조가 대롱거리고 조언을 통해 기억력을 타락하게 하라고)을 손상시킬 수 있는 것들 할 수 없는 장담할 수 있기 위해 그들에게 비싼 주소 공간 스위치 전통적인 소비에서 필요한을 피하기;이것 때문에, microkernels 더 전통적인 시스템보다 인기 있는 할 수 있다.[표창 필요한]이것의 보다 극단적인 형태는 고수준의 언어 컴퓨터 아키텍처로, 신뢰할 수 있는 기반을 하드웨어에 밀어넣고, 시스템 전체를 고수준의 언어로 작성한다.
예
참고 항목
참조
- ^ 언어 기반 보안 접근법, Schneider F, Morrissett G. (Cornell University) 및 Harper R. (Carnegie Mellon University)정보학: 10년 전, 10년 전.(2000)
- ^ Michael Golm; Meik Felser; Christian Wawerish; Jürgen Kleinöder. "JX - A flexible Java Operating System (poster)". University of Erlangen. Retrieved 2007-04-21.
- Sabelfeld, AC Myers Language 기반 정보 흐름 보안 IEEE Journal on Selected Area in Communications, 2003년 제21권, 1페이지 5–19
- V Haldar, D Chandra, M Franz 시맨틱 원격 증명—신뢰할 수 있는 USENIX 가상 머신 연구 및 기술 심포지엄, 2004에 대한 가상 머신 지시 접근 방식
- Giacobazi, Mastroeni 추상적 비간섭: 제31회 ACM SIGLAN-SIGACT 심포지엄의 추상적 해석에 의한 비간섭의 매개변수화 pp 186–97 (2004)
- Algis Rudys, Dan S. Wallach Termination in Language 기반 시스템 ACM Transactions on Information and System Security (TISSEC) 제5권 제2호(2002년 5월) 페이지 138–68
