한국인터넷진흥원

1. 출장목적
    o 2007년 WAIM(Web-Age Information Management) 국제학회 에 참석
    o XML기반 접근통제기술의 정형검증기술에 대한 논문 발표
      - 논문제목 : Static Verification of Access Control Model for AXML Documents
    o 정형검증 기술을 이용한 웹기반 고등급 보안시스템 개발 방법론 제시를 통한, 평가기관으로써의
      국제 경쟁력 제고
    o 최신 XML 및 웹기반 보안문제점 및 보안기술 파악

2. 출장기간 : 2007. 6. 15 - 2007. 6. 19(4박5일)

3. 출 장 지 : 중국

4. 출 장 자 : 김일곤 선임연구원(보안성평가단 평가1팀)