정보보호시스템의 신뢰성과 보안성을 평가하기 위한 요구사항 분석, 테스트 설계, 검증 절차를 체계화하는 연구

웹 기반 시스템의 구조와 실행 흐름을 반영하여 보안·신뢰성 평가를 수행하는 웹엔지니어링 방법을 개발하는 연구

패트리넷 기반으로 비즈니스프로세스를 모델링하고 보안·신뢰성 관점에서 실행 가능성과 제약을 검증하는 연구