디지털 라이브러리[ 검색결과 ]
시스템 콜 호출 패턴을 이용한 애플리케이션 모니터링 시스템 설계 및 구현
http://doi.org/10.5626/JOK.2022.49.10.795
사용자 애플리케이션은 함수들의 집합으로 이루어져 있다. 이러한 함수의 집합에 순서를 부여하여 사용자가 필요로 하는 일을 수행하는 것이 애플리케이션이다. 웹서버와 같이 서비스를 제공하는 애플리케이션은 규모가 굉장히 크고 복잡하여 공격자들의 공격 대상이 되기도 한다. 악의적인 해커들의 공격 결과 애플리케이션의 변수와 프로그램 흐름이 뒤틀리게 되고 이를 통하여 시스템의 관리자 권한을 탈취하거나 비정상 동작을 하도록 유도한다. 본 논문에서는 애플리케이션의 시스템 콜 호출 패턴을 수집하고, 수집된 패턴을 통하여 애플리케이션의 이상 징후를 탐지할 수 있는 시스템을 설계 및 구현한다. 실제 구현된 시스템을 통하여 오버헤드를 측정한 결과 약 100만 개의 시스템 콜을 모니터링 하였을 때, 약 0.8초의 오버헤드를 가짐을 알 수 있었다. 이는 기존에 존재하는 strace 등의 툴에 비하여 약 1/28배 오버헤드 수치이다.
Equi-LR 오토마타
http://doi.org/10.5626/JOK.2021.48.3.352
LR 구문분석은 대표적인 상향식 구문분석방법이며, LR 오토마타를 이용하여 구문분석을 수행한다. 본 논문에서는 보편적으로 사용되어 왔던 LR 오토마타의 LR 아이템에 대한 동치 클래스를 정의하고, 이를 사용한 Equi-LR 오토마타의 생성 방법을 제시한다. Equi-LR 오토마타의 상태는 새롭게 정의된 동치클래스를 아이템으로 사용하여 구성되기에, 보편적으로 사용되었던 기존 LR 오토마타에 비해서 Equi-LR 오토마타의 생성 시간이 줄어든다. 본 논문에서는 Equi-LR 오토마타와 기존 보편적 LR 오토마타의 생성시간 복잡도를 정형적으로 비교 분석한 결과를 제시한다. 또한 Equi-LR 오토마타를 이용하면 기존 보편적인 LR 오토마타상에서의 LR 파서 크기의 복잡도보다 더 엄격한 복잡도를 제시할 수 있음을 보인다.
타임드 오토마타 모델 기반 산업 자동화 응용 자동생성 프레임워크
http://doi.org/10.5626/JOK.2017.44.12.1307
ICT 기술과의 융합으로 인해 산업 자동화 시스템은 복잡도와 신뢰성 요구 수준이 급격히 증가하고 있다. 최근에는 이러한 요구에 대응하기 위해 응용 개발 초기 과정에서부터 정형 기법을 활용하는 연구들이 주목받고 있다. 본 논문에서는 산업 자동화 응용을 위한 타임드 오토마타 모델 기반 네이티브코드 자동 생성 프레임워크를 제안한다. 사례 연구로 산업용 네트워크를 사용하는 신호등 제어 시스템을 모델링하고, 탑재되는 응용의 타이밍 속성을 검증하였다. 제안하는 프레임워크의 유효성을 검증하기 위해 자동 변환된 네이티브 코드를 사용하여 EtherCAT 네트워크 기반 테스트베드의 동작을 확인한 결과, 모델 명세와 동일하게 동작하는 것을 확인하였다.
확률파싱오토마타 모델
확률문법은 자연어처리에서 사용되며, 확률문법에 대한 구문분석의 결과인 파스는 문법의 확률을 그대로 보존해야 한다. 대표적인 구문분석방법인 LL 파싱과 LR 파싱의 확률파싱 가능성을 살펴볼 때 LL 파싱은 문법의 확률정보를 그대로 유지하는 반면에 LR 파싱은 그렇지 않다. 확률문법과 확률파싱오토마톤과의 관계에 관한 기존 연구로 확률보존조건을 충족하는 오토마톤의 특성에 관한 연구는 진행된 바 있다. 그렇지만, 현재로서는 확률보존조건을 충족하는 오토마톤 생성모델에 관해서는 알려진 바가 없다. 본 논문에서는 단일상태파싱오토마타에 기반한 확률파싱오토마타 모델을 제안한다. 제안 모델로부터 생성되는 오토마톤은 확률보존조건을 보장하기에 별도의 확률파싱 가능 여부를 테스팅하는 단계가 불필요하고, 별도의 확률 함수를 정의하지 않아도 된다. 또한 매개인자를 적절하게 선택하여 효율적인 오토마톤의 생성이 가능하다.
LR 문법에 대한 단일상태파싱오토마톤의 적용
단일상태파싱오토마톤은 구문 분석할 때 행동의 결정이 현재 상태로만 가능하다는 특징이 있고, LR오토마톤과 비교하여 상태수가 적고 구문 분석 시간이 단축된다는 장점이 있다. 한편 단일 상태파싱오토마톤은 적용 가능한 문법 클래스가 LR문법보다 작다는 단점이 있다. 본 논문에서는 단일상태파싱오토마톤을 LR문법 클래스에 적용 가능하도록 확장하는 방법을 제시한다. 기존 방법에서는 파싱오토마톤 생성 과정에서 싸이클릭 상태가 생성되는 경우에 대한 처리 방법을 제시하지 못하였다. 본 논문은 싸이클릭상태에 대한 입력스트링에 따른 동적 처리 작업을 제시하여, 싸이클릭 상태에 대한 문제를 해결한다. 본 논문에서 확장한 방법은 모든 LR 문법에 대해 단일상태파싱오토마톤을 생성할 수 있게 한다.
