1. 제 목 : Proof-Carrying Code를 중심으로 한 코드 보안성과 안전성
2. 발 표 자 : 이 은영 (동덕여자대학교 정보과학대학 컴퓨터학과 조교수)
3. 일 시 : 2009년 4월 24일(금) 11 : 00 - 1 : 00
4. 장 소 : 경북대 공대 11호관 103호
5. 초청교수 : 최 윤자 교수
6. 강사약력 :
2005년 3월 ~ 현재 동덕여자대학교 컴퓨터학과 교수
2004년 1월 ~ 2004년 12월 캐나다 University of Ottawa 연구원
2004년 1월 미국 Princeton University 전산학 박사
1998년 고려대학교 이과대학 전산과학과 석사
1996년 고려대학교 이과대학 전산과학과 학사
7. 내용요약 :
G. Necula 가 주창한 Proof-Carrying Code는 타입시스템과 컴파일러를 이용하여 프로그램의 안전성을 검증하는 방식으로, 코드 생산자가 자신의 코드의 안전성에 대해서 증명하는 것을 책임지고 코드 소비자는 증명을 검증하는 것으로 안전성에 대한 검사를 대신하는 방식을 가지고 있다. 이와 같은 방식은 코드 생산자가 코드 소비자보다 자신이 작성한 코드에 대하여 많은 정보를 가지고 있다는 점에서 증명이 보다 용이해진다는 장점과 코드 소비자의 입장에서는 복잡한 안전성 검증의 부담을 코드 생산자에게 넘긴다는 장점을 가지고 있다.
본 세미나에서는 Proof-Carrying Code의 기본 개념을 소개하고 이 개념을 다른 분야에 응용할 수 있는 방법에 대하여 논의한다.
※ 주최 : BK21 정보기술연구인력양성사업단, 전자전기컴퓨터학부
◀ 문의처 : BK21정보기술연구인력양성사업단 ☎ 950-6613 ▶
|
