• 정보과학회 논문지
• /
• 제42권1호
• /
• pp.44-53
• /
• 2015

제어 흐름 정보는 프로그램이 실행되는 구조를 담고 있어 소프트웨어를 분석할 때 기준이 되고 소프트웨어를 서로 비교할 때에도 유용하게 쓰인다. 가상화를 이용한 난독화는 실제 기계의 명령을 구조가 숨겨진 가상 기계의 명령으로 바꾸어 프로그램의 제어 흐름 정보를 감춘다. 난독화가 적용된 바이너리에서는 가상 기계의 명령을 실행하는 인터프리터의 구조만 직접 드러난다. 이 논문에서는 가상화로 난독화된 바이너리를 실행해서 수행되는 명령들을 기록한 트레이스를 이용해 숨겨져 있는 프로그램의 본질적인 제어 흐름을 다시 만들어내는 방법을 제안한다. 트레이스를 기계 명령으로 이루어진 문자열로 보고 생성되는 트레이스들을 모두 받아들일 수 있는 오토마톤을 찾은 다음, 해당되는 제어 흐름 그래프를 만든다. 기계 명령의 수행은 오토마톤의 상태 전이에 대응하며, 이는 제어 흐름 그래프의 간선에 대응한다. 제안한 방법을 상용 가상화 도구로 난독화된 바이너리에 적용해 보았으며, 원본 바이너리와 유사한 제어 흐름 그래프가 생성되는 것을 확인하였다.

• 대한설비공학회지:설비저널
• /
• 제39권9호
• /
• pp.41-51
• /
• 2010

건물의 배수 및 통기시스템에서 나타나는 현상중에 확실한 내용이 아직 밝혀지지 않은 부분이 몇 가지 남아 있다. 이것은 19세기 말엽의 근대 위생공학의 시작 단계에서부터 잘 알려진 사실이다. 건물의 배수 및 통기시스템 운용에 대한 내용은 일반 공학과 특정 유체역학의 범위 내에서 가장 잘 이해할 수 있다. 건물의 배수 및 통기시스템의 운영에 종사했던 초기의 기술진들은 이러한 점을 잘 알고 있었으며 유체역학에 적합하게 응용한 많은 사례를 확인할 수 있었다. 제2차 세계대전이 끝나고 이에 대한 많은 연구가 진행되어 왔으며 특히 유럽에서 시작된 전후 재건 붐을 통해 배수 및 통기시스템의 설계에 좀 더 효율적인 접근이 진척되게 되었다. 이러한 배수시스템의 중심에는 배수관 내부의 오염된 공기가 배수구 또는 위생기구를 통하여 주거 공간으로 유입되는 것을 방지하는 트랩(Water Trap)이 있다. 배수트랩의 주요 기능인 봉수는 일반적으로 깊이가 40 mm에서 50 mm 정도로 위생기구의 종류에 따라 봉수의 깊이는 다소 차이가 있다. 배수관내 공기의 흐름이 중요한 것처럼 트랩의 봉수 메커니즘이 중요하기 때문에 이 메커니즘을 소홀히 여긴다면 안전한 배수시스템의 운영을 기대하기는 어렵다. 배수관 내의 공기의 흐름은 배수에 의해 유입되거나 또는 배출된다. 배수관에서 내부 압력의 불규칙한 변화로 인하여 야기되는 불안정한 배수의 흐름은 트랩의 봉수를 파괴하고 나아가 주거공간으로 오염된 공기가 새어 나갈 수 있는 통로를 제공하게 된다. 관내압력의 천이는 이로 인한 문제가 발생할 가능성이 있는 위치에 그 압력을 완화할 수 있는 장치를 설계단계에 반영하여 적용함으로써 제어할 수 있다. 건물 내부에 상당한 길이의 통기배관을 설치하는 것은 배관의 마찰손실로 인하여 천이 현상을 효과적으로 제어할 수 있는 확실한 방법이 되지는 못한다. 그렇지만 통기밸브를 설치하는 것과 같이 배수관 내로 공기를 공급해주는 유입구를 건물 내부에 분산 설치하는 것이 효율적인 통기방식이 될 수 있고, 정압 천이로 인한 위험을 줄여줄 수 있다. 통기밸브는 정압 발생의 원인이 되지 않으며 단지 정압에 반응하여 더욱 기밀하게 닫히며, 약화된 압력파를 반사할 뿐이다. 고층 건물에서 배수입상관과 평행하게 설치된 통기입상관(Parallel Vent Pipe)의 경우 극히 일부분의 정압 천이 현상을 완화할 수 있다. (통기 배관의 직경이 배수 입상배관과 동일한 경우 대략 1/3 정도임), 그러므로 정압의 천이로 인한 압력 파동은 배수 시스템의 나머지 부분을 통해 전파되어 배수 트랩에 영향을 미치게 된다. 정압의 천이가 예상되는 위치에 정압천이 완화 장치(Positive Air Pressure Transient Alleviation Device)를 사용하면 배관 내부압력의 급격한 상승을 방지하여 연결된 트랩의 봉수를 보호할 수 있다. 이렇게 되면 순간적으로 발생하는 배관내 압력의 급등 현상을 90% 정도까지 완화 시킬 수 있다. 경험적으로 배수시스템에서 배관이 완전하게 막혀 과도한 정압이 발생하는 경우는 거의 없다. 이러한 경우에는 가장 낮은 위치에 있는 배수 트랩의 봉수가 깨지면서 자연스럽게 배수시스템의 압력이 해소되게 된다. 이러한 사례는 통기 방식과 상관없이 발생할 수 있다. 실제와 유사한 시뮬레이션을 통하여 통기 밸브(Air Admittance Valves)는 전면 통기 시스템 (Fully Vented System)에서 최소한 트랩의 봉수 보호용으로 적합한 것이 확인 되었다. 어떤 경우 에는 고층 건물에 더욱 적합하다는 것을 확인할 수 있었다. 부압 해소용으로 통기밸브를 이용하고 정압완화용으로 정압 완화장치(PAPAs: Positive Air Pressure Transient Attenuators)를 사용하는 전면적 능동 제어시스템(Fully Engineered Designed Active Control System)이 사용자에게 육안으로는 확인하지 못하는 기능을 보장하면서 배수 시스템의 안전과 효율성에 대한 효과적인 방법을 제공하고 있다.