Computational Theory and Applications Lab.

연구실 소개

저희 연구실은 계산 이론 및 그 응용에 관심을 두고 있습니다. 우리는 계산 이론(그래프 이론, 계산 기하학 등)을 기반으로 효율적인 알고리즘을 설계하여 산업 제어 시스템의 보안 및 무선 네트워크의 효율성과 같은 실제 응용 분야의 문제들을 해결하는 것을 목표로 합니다. 계산 기하학 및 그래프 이론과 같은 계산 이론 연구는 컴퓨터 과학 분야에서 광범위한 기초를 제공합니다. 많은 실제 문제들이 계산 이론의 문제로 모델링될 수 있으며, 계산 이론의 연구 결과를 활용하여 보장된 성능을 가진 효율적인 솔루션을 제공할 수 있습니다. 무선 센서 네트워크(WSN)는 최근 활발한 연구 분야로 부상하고 있습니다. WSN은 스마트 시티, 스마트 팩토리, 스마트 홈, 스마트 카 등 스마트 연결 시스템을 위한 유망한 솔루션으로 간주됩니다. 우리는 계산 이론을 기반으로 WSN의 실제 문제를 해결하여 성능을 향상시키는 것을 목표로 합니다. 산업 제어 시스템(ICS)은 특히 인프라에서 사용되는 주요 시스템입니다. ICS 보안 연구는 ICS의 여러 특성으로 인해 기존 보안 연구와 구별됩니다. ICS를 보호하기 위해 우리는 ICS 내 요소들의 비정상적인 동작을 감지하기 위한 지적인 접근 방식을 제공합니다. 중요 인프라 보호(CIP)는 댐, 발전소, 원자력 시설 등 지역 또는 국가의 중요 인프라와 관련된 보안 영역 중 하나입니다. CI의 강력한 보호를 위해 우리는 CIP를 위한 보안 정책 및 표준을 개발하는 것을 목표로 합니다. 여기에는 수명 주기 보호 모델 및 위험 평가/관리 모델도 포함됩니다.