• KIPS Transactions on Computer and Communication Systems
• /
• v.2 no.8
• /
• pp.317-326
• /
• 2013

In this paper, we present an effective method for comparing control flow graphs which represent static structures of binary programs. To compare control flow graphs, we measure similarities by comparing instructions and syntactic information contained in basic blocks. In addition, we also consider similarities of edges, which represent control flows between basic blocks, by edge extension. Based on the comparison results of basic blocks and edges, we match most similar basic blocks in two control flow graphs, and then calculate the similarity between control flow graphs. We evaluate the proposed edge extension method in real world Java programs with respect to structural similarities of their control flow graphs. To compare the performance of the proposed method, we also performed experiments with a previous structural comparison for control flow graphs. From the experimental results, the proposed method is evaluated to have enough distinction ability between control flow graphs which have different structural characteristics. Although the method takes more time than previous method, it is evaluated to be more resilient than previous method in comparing control flow graphs which have similar structural characteristics. Control flow graph can be effectively used in program analysis and understanding, and the proposed method is expected to be applied to various areas, such as code optimization, detection of similar code, and detection of code plagiarism.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04b
• /
• pp.1013-1016
• /
• 2002

제어 시스템에 사용되는 흐름 제어 언어로는 IL(Instruction List), ST(Structured Text), FBD(Function Block Diagram), SFC(Sequential Function Chart), LD (Ladder Diagram)가 있다. 일반적으로 제어 시스템에 탑재하여 사용하는 언어는 상기 언어 중 두 종류 이하의 특정 언어로 제한되어 있다. 이러한 제약을 보완하기 위해, 모든 흐름 제어 언어를 통합 분석할 수 있는 통합 분석기가 필요하다. 본 논문에서는 흐름 제어 언어의 통합 분석 처리가 가능하도록 그래픽 표현의 FBD 를 문자 표현의 EST(Extended Structured Text)로 변형하는 규칙과 문자 표현의 EST 를 IL 로 변형하는 규칙을 제시한다. 언어간의 변형 과정에서 FBD 를 ST 로 표현할 수 없는 부분을 EST 로 정의한다. 또한 본 논문에서 제안된 EST 를 기반으로 통합 분석기의 구조를 제시한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.8
• /
• pp.1434-1440
• /
• 2008

Performance of TCP/IP is studied on the wireless network using flow control and congestion control mechanism based on transmission rate. We discuss the elimination or the reduction of various phenomena of burst by flow controlling on transmission rate and verify that there are TCP ACK compression promblems on the queue by burst reaction while executing transmission rate controlled channels. Analyzing periodic burst reaction on the queue of source IP, the maximum value of queue is expected, which represents the applible expectation of throughput reduce and shows the improvement of performance by the reduce of throughput due to hi-directional traffic.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.11
• /
• pp.871-875
• /
• 2009

A software birthmark is inherent characteristics that can be used to identify a program. In this paper, we propose a new Java birthmark based on control flow graph (CFG) matching. The CFG matching consists of node matching and edge matching. To get similarities of nodes and edges of two CFGs, we apply a sequence alignment algorithm and a shortest path algorithm, respectively. To evaluate the proposed birthmark, we perform experiments on Java programs that implement various algorithms. In the experiments, the proposed birthmark shows not only high credibility and resilience but also fast runtime performance.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.1093-1096
• /
• 2003

인터넷 프로토콜들은 RFC(Request For Comments)에 정의되어 있다. 하지만 RFC 는 단순한 권고 사항 일뿐 강제적인 요구사항은 아니다. 그렇기 때문에 RFC 에 정의되어 있는 흐름제어 메커니즘 같은 권고사항을 무시하고 인터넷 프로토콜들을 구현할 수도 있다. 그러나 이렇게 구현된 프로토콜들이 망에 미치는 영향이나, 그것을 제한하기 위한 연구는 아직까지 이루어 지지 않고 있다. 본 논문에서는 RFC 규격을 따르지 않는 TCP와 RFC 규격을 따르는 표준 TCP와의 성능 차이를 비교하였다. 그것을 위하여 리눅스 커널의 TCP 프로토콜을 수정하여 흐름제어를 하지 않는 서로 다른 6개의 항목을 만들고, 표준 TCP와의 성능을 비교하였다. 그 결과, 목적지가 근거리인 경우 정상적인 TCP와 본 연구에서 수정된 TCP 간의 파일 전송 시간의 차이는 크게 나지 않았다. 하지만, 원거리에 있는 목적지로 웹 페이지 정도의 작은 파일을 전송할 경우, 흐름제어 메커니즘 중 저속 출발(slow start)을 적용하지 않았을 때는 전송 시간에서 매우 큰 차이를 나타냈다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• pp.289-291
• /
• 2017

제어 흐름을 원래 의도와 다르게 만드는 공격을 제어 흐름 무결성을 보장하는 방법을 통해 보안성을 높여 왔다. 완벽한 보안성과 낮은 성능 저하를 만족시키기 위해 인텔 프로세서 트레이스 하드웨어를 이용한 제어 흐름 무결성을 보장하는 연구들에 대해 소개한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1173-1176
• /
• 2000

본 논문은 화상회의 시스템 개발에 있어서 양방향 흐름제어 방식을 제안한다. 제안한 양방향 흐름 제어 방식은 End-To-End 간의 처리량과 네트워크의 상태를 SR과 RR의 손실율을 이용해서 3가지 상태(혼잡, 안정, 무부하)로 정의하였으며 그에 따른 양방향 흐름 제어 알고리즘을 적용해서 전송율을 조절해서 손실율을 줄이고 양단간 처리량 증가 및 송수신의 공정성을 갖게 한다. 제안한 알고리즘을 적용해 PC 카메라를 이용한 화상회의 시스템을 구현했으며, 이를 통해서 양측 모두 손실율의 감소, 수신율의 증가, 안정적인 송.수신, 송.수신량의 공평성이 향상되었다.

• Proceedings of the IEEK Conference
• /
• 2003.07b
• /
• pp.855-858
• /
• 2003

TCP/IP 를 포함하는 데이터 네트워킹 프로토콜을 구현함에 있어, 기존에는 소프트웨어 방식으로 구현되었던 모듈들을 하드웨어로 구현하는 프로젝트를 수행하면서, CPU 와 하드웨어 모듈과의 통신을 중계하는 모듈을 구현하였다. 본 논문에서는 TCP/IP 하드웨어와 CPU 와의 통신을 위한 Host Interface 의 기능에 대해 다루고 구현 방식을 Control flow와 Data flow의 입장에서 설명하였다. 우선, Host Interface 의 기능을 설명하고 Host Interface 의 입출력 신호를 정의하였다. Host Interface에서 이루어지는 CPU와 하드웨어 모듈간의 통신을 제어정보 흐름과 데이터정보 흐름으로 나누고 제어흐름을 위해서는 Command/Status Register 를 두었고, 데이터 흐름을 위해서는 CPU와 데이터 RAM 사이에 FIFO 를 두어 데이터의 흐름이 신속히 이루어지도록 하였다. 끝으로 Host Interface 와 주변 모듈들간의 통신에 대한 Testcases에 대해서도 다루었다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.1
• /
• pp.26-35
• /
• 2005

Generally, we employ FSMs for the design of controllers in digital systems. FSMs are Implemented with state diagrams generated from control flow. With HDL, we design and verify FSMs based on state diagrams. As the number of states in the system increases, the verification or modification processes become complicated, error prone and time consuming. In this paper, we propose a control flow oriented hardware description language at the register transfer level called Cycle-C. Cycle-C describes FSMs with timing information and control How intensive algorithms. The Cycle-C description is automatically converted into FSMs in the form of synthesizable RTL VHDL. In experiments, we design FSMs for control intensive interface circuits. There is little area difference between Cycle-C design and manual design. In addition, Cycle-C design needs only 10~50% of the number lines of manual RTL VHDL designs.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.12B
• /
• pp.1509-1521
• /
• 2011

WfMC, which is one of the international standardization organizations leading the business process and workflow technologies, has been officially released the BPAF1.0 that is a standard format to record process instances' event logs according as the business process intelligence mining technologies have recently issued in the business process and workflow literature. The business process mining technologies consist of two groups of algorithms and their analysis techniques; one is to rediscover flow-oriented process-intelligence, such as control-flow, data-flow, role-flow, and actor-flow intelligence, from process instances' event logs, and the other has something to do with rediscovering relation-oriented process-intelligence like process-driven social networks and process-driven affiliation networks from the event logs. The current standardized format of BPAF1.0 aims at only supporting the control-flow oriented process-intelligence mining techniques, and so it is unable to properly support the relation-oriented process-intelligence mining techniques. Therefore, this paper tries to extend the BPAF1.0 so as to reasonably support the relation-oriented process-intelligence mining techniques, and the extended BPAF is termed BPAF2.0. Particularly, we have a plan to standardize the extended BPAF2.0 as not only the national standard specifications through the e-Business project group of TTA, but also the international standard specifications of WfMC.