선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 본 논문에서 제안하는 SK死THICe 상태와 이 상태에 적용될 수 있는 연산들로 기술할 수 있다. SKETHiC의 상태 T 는d, k, s, fmc, fmi.
- 본 논문은 주어진 프로그램이 트로이 목마인지를 판별하여 수행을 거부하거나 수행 중 제지를 하는 시스템인 'SKETHICCSecure Kernel Extension against Trojan Horses with Information-carrying Codes)' 을제안한다. SKETHICe 기존의 트로이 목마 대응 방법과는 달리 사용자의 프로그램에 대한 인식과 프로그램의 실제 행동간의 차이를 파악하여, 이미 알려진 트로이목마 뿐 아니라 알려지지 않은 트로이 목마들을 판별하고 대응하는 것에 중점을 둔다.
- 본 연구에서 다루고 있는 대응책은 위의 정의 9에서 기술된 트로이 목마를 감지하고 그 수행을 막아 정의 10과 같은 안전한 상태를 유지하는 것이 목적이다. 다음 정리는 초기 시스템이 트로이 목마에 대해 안전하고, 트로이 목마가 확실히 아닌 프로그램만 추가된다면, 그 시스템은 트로이 목마에 관해 안전하게 유지될 수 있음을 나타낸다.
- 또, 제안하는 대응 방식의 작동 원리를 이에 맞추어 기술하고 그 효과를 보이는 것은 대응 방식의 장점과 한계를 파악하는 데에 유익한 작업이다[15]. 본 절에서는 트로이 목마가 파괴하는 안전성에 관한 정의와 이를 위한 SKETHIC의 대응 방안을 정제된 형식으로 기술하고, 결과적으로는 SKCTHIC이 주어진 문제의 해결 능력이 있음을 보인다.
- 사용자 및 시스템 관리자 : 주어진 프로그램 <m, c, />의 이름 m 및 첨부된 자원 접근 목록 I을 보고, 주관적인 기대에 비추어 악성 연산을 내포하였는지를 1 차 판별한다. 즉 프로그램의 이름이나 기대되는 행동에 어긋나며 위험 소지가 있는 연산이 자원 접근 목록에서 유도될 수 있는지 검토한다. 이로써 트로이 목마라는 의심이 들지 않는 프로그램에 한해서 자신의 컴퓨터에 저장하거나 경우에 따라서는 코드 c를 곧바로 수행한다.
가설 설정
- . 개발자가 자원 접근 목록을 해당 프로그램의 행동을 그대로 반영하여 사실대로 첨부하게 되면, 사용자는 이 프로그램이 자신의 파일을 접근하여 파괴하리라는 것을 알게 되므로 수행시키지 않을 것이다.
- 개개의 프로그램 연산들을 수행하는 口m의 의미도 운영체제가 수행하는 각 연산의 의미론과 관련 있는 부분으로써 본 논문의 범위를 벗어나므로 다루지 않는다. 단, 顷은 SKETHIC 상태를 변화시키지 않는다고 가정한다.
- 또, 나쁜 의도가 없는 프로그램에는 항상 올바른 자원접근 목록이 첨부된다고 가정한다. 이는 개발자가 개발단계에서 소스 코드에 대한 정확한 정보를 가지고 있으므로 자동화 분석 도구[3, 14] 의 도움을 받아 이루어 것으로 본다.
- 따라서, 하나의 프로그램은 여러 연산 수행 순서 열을 가지게 된다. 무한히 수행되는 프로그램들이 있으므로 순서열의 길이는 무한할 수 있다고 가정한다.
- 즉, 정상 프로그램의 개발자들이 첨부한 자료는 항상 정확하고 유용한 정보를 내포한다는 의미이며, 이는 잘 고안된 정적 코드 분석기 등의 개발자 도구의 지원에 의해 실현될 것으로 본다. 반면, 트로이 목마의 자원 접근 목록에게는 이 성질의 보장을 기대할 수 없다고 가정한다.
- 본 논문에서 제안하는 시스템에서는, 나쁘 의도가 없는 개발자는 늘 올바른 자원 접근 목록을 첨부한다는가 정을 기반으로 한다. 즉, 정상 프로그램의 개발자들이 첨부한 자료는 항상 정확하고 유용한 정보를 내포한다는 의미이며, 이는 잘 고안된 정적 코드 분석기 등의 개발자 도구의 지원에 의해 실현될 것으로 본다.
- 자원 접근과 관련되지 않은 연산들은 모든 /UL에서 유도된다고 가정한다.
- 한 프로그램에서 수행 가능한 경로들의 집합이므로 이것의 원소 개수도 무한할 수 있다고 가정한다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.