한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2000년도 추계학술발표논문집 (하)
- /
- Pages.1469-1472
- /
- 2000
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
분기기법에 기반한 개선된 Proof-Carrying Code에 관한 연구
A Study on Enhanced Proof-Carrying Code based on Branching Method
- Lee, Jung-Eun (School of Electrical and Computer Engineering Sungkyunkwan University) ;
-
Chung, Tai-Myoung
(School of Electrical and Computer Engineering Sungkyunkwan University)
- 발행 : 2000.10.13
초록
네트워크가 복잡해지고 에이전트를 이용한 분산 시스템이 증가함에 따라 악성코드의 수와 종류도 현저한 증가 추세를 보이고 있다. 코드의 안전한 실행을 위해서는 그 동안의 수동적인 대응책을 넘어선 능동적인 방법이 요구되는 시점에서 Proof-Carrying Code라는 능동적인 대응책이 제시되었지만 현실적인 문제에 봉착해 있다. 따라서 본 논문에서는 분기를 기반으로 한 Proof-Carrying Code의 변환을 시도해 기존의 Proof-Carrying Code 방식보다 효율적이고 능동적으로 코드의 안전한 수행을 보장하는 방법을 제시한다.
키워드