• Title/Summary/Keyword: Cyber Lab

Search Result 84, Processing Time 0.026 seconds

Formal Verification of LSH Hash Function Using Cryptol (Cryptol을 이용한 LSH 해시함수 정형검증)

  • Ryu, Do-Hyeon;Choi, Yong-Rak;Kim, Tae-Hoon;Shin, Youngjoo
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2018.10a
    • /
    • pp.162-165
    • /
    • 2018
  • 암호 알고리즘은 세계적으로 표준화가 진행되고 있으며, 암호 알고리즘의 안전성은 충분히 입증되어 왔다. 하지만, 기존 검증 방법으로 사용되는 테스트벡터 방식으로는 전수조사를 시행할 수 없어 구현상의 취약점을 완벽하게 발견할 수 없기 때문에 심각한 피해를 야기할 수 있다. 그래서 개발한 혹은 현재 존재하고 있는 암호 알고리즘이 표준에 따라 올바르게 구현되었는지에 대한 개선된 검증 방법이 필요하다. 본 논문에서는 KISA에서 개발한 LSH 해시함수 모듈을 미국의 Galois사와 NSA가 함께 공동 개발한 Cryptol을 이용하여 암호 모듈이 올바르게 구현되었는지 검증하였다.

Cyber Threat and a Mitigation Method for the Power Systems in the Smart Grid

  • Kim, Myongsoo;Kim, Younghyun;Jeon, Kyungseok
    • Journal of Electrical Engineering and Technology
    • /
    • v.9 no.3
    • /
    • pp.1043-1050
    • /
    • 2014
  • Obsolescent control systems for power systems are evolving into intelligent systems and connecting with smart devices to give intelligence to the power systems. As networks of the control system are growing, vulnerability is also increasing. The communication network of distribution areas in the power system connects closely to vulnerable environments. Many cyber-attacks have been founded in the power system, and they could be more critical as the power system becomes more intelligent. From these environment, new communication network architecture and mitigation method against cyber-attacks are needed. Availability and Fault Tree analysis used to show that the proposed system enhances performance of current control systems.

Development of an Efficient Web-based Virtual Lab System for Basic Electrical Circuits Using Java Applets (자바에플릿을 이용한 효율적인 웹기반 전기회로 가상실험실 구현)

  • Kim, Dong-Sik;Seo, Sam-Jun;Lee, Yong-Soon;Yoo, Ji-Yoon
    • Proceedings of the KIEE Conference
    • /
    • 2000.07d
    • /
    • pp.3109-3111
    • /
    • 2000
  • Recently. internet applications for efficient cyber education have drawn much interests. The world-wide web provides new opportunities for cyber education over the internet. This paper presents a virtual lab system which can be used on the world-wide web. The proposed virtual lab system provides the improved learning methods which can enhance the educational efficiency in electrical engineering experiments. If the students enter the virtual lab system on the web. they can make experiments on basic electrical and electronic principles through simple mouse manipulation. Since proposed virtual lab system is implemented to describe the actual lab system. the students can obtain similar experimental data through it. Several sample Java applets are illustrated as examples.

  • PDF

Framework on Cache Side-channel Attack Detection Using Real-time Monitoring (실시간 모니터링을 이용한 캐시 부채널 공격 탐지 프레임워크)

  • Im, Miok;Kim, Soojin;Shin, Youngjoo
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2020.05a
    • /
    • pp.142-145
    • /
    • 2020
  • 캐시 부채널 공격은 캐시 기반의 공격 기법으로 개인정보 유출에 대한 위험성이 큰 보안 취약점이다. 해당 취약점을 막기 위해 실시간 공격 탐지 기법에 관한 연구들이 진행되고 있지만 사용자에게 이벤트값과 탐지 결과를 빠르고 편리하게 보여줄 필요성이 있다. 본 논문은 효율적인 캐시 부채널 공격 탐지를 위해 Intel PCM 과 기존의 탐지프로그램을 개선하여 탐지에 필요한 데이터들을 실시간으로 모니터링 및 경고를 보내주는 프레임워크를 제작했다. 해당 프레임워크는 캐시 부채널 공격을 실시간 탐지 및 관련 데이터들을 대시보드로 보여준다.

The Application to the Programming Education Using LabVIEW OOP (LabVIEW OOP를 활용한 프로그래밍 교육의 적용 방안)

  • Jung, Min-Po;Cho, Hyuk-Gyu;Jung, Deok-Gil
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2012.01a
    • /
    • pp.147-148
    • /
    • 2012
  • 일반적으로 프로그램을 배우는 초보자들은 텍스트 기반으로 프로그램을 하는 것이 매우 어렵다. 이러한 문제를 쉽게 풀기 위한 한 방법이 Visual C++, Visual Basic, Delphi와 같은 비주얼 프로그램으로 구현하는 것이다. 그러나 이러한 프로그램을 배우는 학습자들 역시, 비주얼 컴포넌트 작동에 대한 텍스트 프로그래밍을 어려워하고 있다. 논문에서는 이러한 문제를 해결하기 위해 논리적 사고를 표현하고 객체지향을 지원하기 위해 UML을 도입하고 텍스트 프로그래밍 요소를 비주얼 프로그래밍 요소로 대체하기 위해 객체지향을 지원하는 LabVIEW OOP를 사용하여 학습자들에게 프로그래밍 교육을 하는 방법을 제시하였다. 또한, 제시된 프로그래밍 교육 방법에 대해 설문조사를 실시하여 교육적인 효과를 분석하였다.

  • PDF

Design of Event Processing in Monitoring System using Sensor Network (센서 네트워크를 활용한 모니터링 시스템에서의 사건 처리)

  • Jung, Young-Jin;Lee, Yang-Koo;Lee, Dong-Gyu;Nam, Kwang-Woo;Kim, Kyu-Jin;Jin, Du-Seok;Lee, Jong-Suk Ruth;Cho, Kum-Won
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2011.06c
    • /
    • pp.29-32
    • /
    • 2011
  • 센서 네트워크는 원격지의 상태를 실시간으로 파악하기 위하여 각종 모니터링 시스템에서 활발히 활용된다. 시스템은 원격지에 일어난 사건을 인식하고 사용자에게 유용한 정보를 제공하기 위하여 각종 시뮬레이션 모델 및 분석 기법과 함께 수집된 센서 데이터를 분석한다. 이 논문에서는 모니터링 시스템에서 원격지의 사건을 인식하기 위하여 사건을 등록하고 처리하는 과정을 설계하였다. 이 과정에는 사건 정보 등록, 센서 데이터로부터 사건 정보 추출, 데이터 종류 별 테마(theme) 생성, 연산자를 통한 테마 결합, 시뮬레이션 모델을 활용한 사건 진행 예측, 영향 분석이 포함된다. 그리고, 실제 센서 네트워크를 활용하여 등록된 사건이 처리됨을 보인다.

Development of a Virtual Lab System using Internet for Efficient Engineering Experiment Education (인터넷을 이용한 효율적인 공학 실험실습교육을 위한 가상 실험실 개발)

  • Kim Dong-Sik;Lee Yong-Soon
    • Journal of Engineering Education Research
    • /
    • v.3 no.2
    • /
    • pp.31-37
    • /
    • 2000
  • Recently, internet applications for efficient cyber education have drawn much interests. The world-wide web provides new opportunities for cyber education over the internet. This paper presents a virtual lab system which can be used on the world-wide web. The proposed virtual lab system provides the improved learning methods which can enhance the educational efficiency in engineering experiments. If the students enter the virtual lab system on the web, they can make an experiment on basic electrical and electronic principles through simple mouse manipulation. Since proposed virtual lab system is implemented to describe the actual lab system, the students can obtain similar experimental data through it. Several sample Java applets are illustrated as examples.

  • PDF

Visualization Model for Security Threat Data in Smart Factory based on Heatmap (히트맵 기반 스마트팩토리 보안위협 데이터 시각화 모델)

  • Jung, In-Su;Kim, Eui-Jin;Kwak, Jin
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2021.11a
    • /
    • pp.284-287
    • /
    • 2021
  • 4차 산업혁명으로 인해 제조산업에 인공지능, 빅데이터와 같은 ICT 기술을 활용한 스마트팩토리의 제조 공정 자동화 및 장치 고도화 연구가 진행되고 있다. 제조 공정 자동화를 위해 스마트팩토리의 각 계층별 장치들이 유기적으로 연결되고 있으며, 이로 인해 발생 가능한 보안위협도 증가하고 있다. 스마트팩토리에서는 SIEM 등의 장비가 보안위협 데이터를 수집·분석·시각화하여 대응하고 있다. 보안위협 데이터 시각화에는 그리드 뷰, 피벗 뷰, 그래프, 차트, 테이블을 활용한 대시보드 형태로 제공하고 있지만, 이는 스마트팩토리 전 계층의 보안위협 데이터 확인에 대한 가시성이 부족하다. 따라서, 본 논문에서는 스마트팩토리 보안위협 데이터를 CVSS 점수 기반의 Likelihood와 보안위협 데이터 기반의 Impact를 활용하여 위험도를 도출하고, 히트맵 기반 스마트팩토리 보안위협 데이터 시각화 모델을 제안한다.

Security Threat Trend based on Drone Embedded System and Network Protocol (드론 임베디드 시스템 및 네트워크 프로토콜 기반 보안위협 동향)

  • Sang-Hyeon Park;In-Su Jung;Jin Kwak
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2023.05a
    • /
    • pp.190-191
    • /
    • 2023
  • IoT(Internet of Things) 기술을 기반으로 한 드론은 사용자의 요청에 따라 데이터 처리, 수집, 송·수신 등에 고도화된 ICT(Information and Communications Technology) 기술을 활용하고 있다. 또한, 드론은 ICT 기술이 발전함에 따라 문화, 소방, 국방 등 다양한 분야에 적용되어 사용자에게 편의를 제공하고 있다. 그러나, 드론에 적용되는 ICT 기술과 드론에 탑재되는 기술들이 고도화됨에 따라 드론 모듈 내 펌웨어 및 무선 네트워크를 대상으로 한 보안위협이 증가하고 있다. 따라서 본 논문은 드론의 보안위협에 대응하기 위하여 드론 임베디드 시스템 및 네트워크 프로토콜을 대상으로한 최신 보안위협 동향을 분석한다.

Potential Security Threat Derivation based on Low-Performance Hardware of Smartwatch (스마트워치 저성능 하드웨어에서 발생 가능한 보안위협 도출)

  • Min-Seo Park;In-Su Jung;Deuk-Hun Kim;Jin Kwak
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2023.11a
    • /
    • pp.206-207
    • /
    • 2023
  • 최근 스마트워치는 통화, 문자, 간편 결제, 기타 장치 제어 등 스마트폰의 소형화 및 경량화 형태로 연구되어 여러 서비스를 제공하고 있다. 스마트워치는 스마트폰 대비 작은 물리적 크기로 인해 적용 가능한 하드웨어의 성능이 상대적으로 낮으며, 이로 인해 낮은 수준의 보안 기능을 제공한다. 이는 스마트워치 대상 보안위협으로 이어질 수 있으며, 이에 대응하기 위한 보안위협 분석 및 도출 연구가 필요한 실정이다. 따라서, 본 논문에서는 스마트워치의 하드웨어 적용 한계점으로 인한 스마트워치와 스마트폰의 성능 차이를 분석하고, 이로 인해 발생 가능한 보안위협을 도출한다.