• Title/Summary/Keyword: social media logic

Search Result 12, Processing Time 0.015 seconds

Intermediate-Representation Translation Techniques to Improve Vulnerability Analysis Efficiency for Binary Files in Embedded Devices (임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술)

  • Jeoung, Byeoung Ho;Kim, Yong Hyuk;Bae, Sung il;Im, Eul Gyu
    • Smart Media Journal
    • /
    • v.7 no.1
    • /
    • pp.37-44
    • /
    • 2018
  • Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

A Study on Narrative mode of Observational Mode Documentary : Focused on Comparison of Frederic Wiseman Documentary & Lee, Seung Jun Documentary (관찰자적 다큐멘터리의 내러티브 양식 연구: 프레데릭 와이즈먼과 이승준의 다큐멘터리 비교를 중심으로)

  • Yim, Young-ho
    • Journal of Digital Convergence
    • /
    • v.17 no.1
    • /
    • pp.337-345
    • /
    • 2019
  • In this study, it focused on observational documentary based on observation. This study comparatively analyzed how differently the narrative style is implemented depending on the social and cultural background of East and West by analyzing the narrative style of Frederick Wiseman, a representative director of observational documentary who has been active in foreign countries for a long time, and Lee Seung-jun, recently become active in Korea. As a result of the analysis, It might be too early to judge by simple comparison of two directors, but it became an opportunity to see the difference between the long-standing observer style and the observer style documentary which actively accepts the new form. While it cannot be simply judged which style is better between the traditional observer style which shapes the simple contents into conflicts in the sequence structure and the recent style which sublimates the human inner conflict into the drama, a side could have been seen that the diversity is attained. It can be judged that the traditional documentary film can be gradually changed later. It was found that the documentary can emerge from the logic that it is difficult and boring, and that the same theme can be various and creative depending on what style is chosen.