• 제목/요약/키워드: Remote Code Verification

검색결과 8건 처리시간 0.023초

원격코드검증을 통한 웹컨텐츠의 악성스크립트 탐지 (Detecting Malicious Scripts in Web Contents through Remote Code Verification)

  • 최재영;김성기;이혁준;민병준
    • 정보처리학회논문지C
    • /
    • 제19C권1호
    • /
    • pp.47-54
    • /
    • 2012
  • 최근 웹사이트는 매쉬업, 소셜 서비스 등으로 다양한 출처의 리소스를 상호 참조하는 형태로 변화하면서 해킹 시도도 사이트를 직접 공격하기보다 서비스 주체와 연계 서비스, 클라이언트가 상호 작용하는 접점에 악성스크립트를 삽입하는 공격이 증가하고 있다. 본 논문에서는 웹사이트 이용 시 신뢰관계에 있는 여러 출처로부터 다운받은 웹컨텐츠의 HTML 코드와 자바스크립트 코드가 클라이언트 브라우저에서 구동 시 삽입된 악성스크립트를 원격의 검증시스템으로부터 탐지하는 모델을 제안한다. 서비스 주체의 구현코드 정보를 활용하여 요청 출처에 따라 검증 항목을 분류하고 웹컨텐츠의 검증 요소를 추출하여 검증 평가결과를 화이트, 그레이, 블랙 리스트로 데이터베이스에 저장하였다. 실험평가를 통해 제안한 시스템이 악성스크립트를 효율적으로 탐지하여 클라이언트의 보안이 향상됨을 확인하였다.

Sea surface temperature estimation from remote measurement of the thermal radiation

  • Mima, Kazuhiko;Satoh, Makoto;Moriyama, Masao;Ishimatsu, Takakazu
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
    • /
    • pp.12-15
    • /
    • 1994
  • To establish the sea surface temperature estimation scheme for the upcoming advanced remote sensor, the quasi-analytical solution of the approximated radiative transfer equation which express the radiative transfer process of the radiant energy radiated from the sea surface to the satellite is approximated into the non-linear equation. To solve the simultaneous approximated radiative transfer equation which express the radiative transfer process of the radiant energy radiated from the sea surface to the satellite is approximated into the nonlinear equation. To solve the simultaneous approximated radiative transfer equation at each channel, the constrained non-linear optimization technique is adopted. To define the coefficients of the approximated radiative transfer equation and the constraints, the satellite detected radiance and the total transmittance are computed from the 1350 kinds of simulated atmosphere / surface models via radiative transfer code. The verification from the simulated data show the sufficient result.

  • PDF

RS485 Star 구조의 비행체 탑재용 데이터 수집시스템 구현 및 성능시험 (Design and Test of On-Board Flight Data Acquisition System based on the RS485 Star Network)

  • 이상래;이재득
    • 한국항공우주학회지
    • /
    • 제32권7호
    • /
    • pp.83-90
    • /
    • 2004
  • 본 논문은 중, 대형 비행체에 분산 탑재되어 있는 많은 센서를 효과적으로 실시간 데이터를 수집할 수 있는 시스템의 구성도를 소개하고 각종 서브 장치의 회로, 장치들간의 통신 프로토콜에 대한 설계 내용 그리고 최종적으로 실험을 통해 성능 검증한 내용을 언급한다. 각 장치들은 FPGA 소자를 기본으로 하여 모든 제어 로직, 시퀀스 로직 등의 디지털 회로를 설계 및 시뮬레이션을 수행하였으며 그 결과를 바탕으로 실제 하드웨어를 제작하여 원거리 아날로그 및 디지털 데이터의 획득, 수집 및 포맷의 일련의 과정들이 정상 적으로 이루어지는지를 확인하였다.

Design and Implementation of Data Processing Middleware and Management System for IoT based Services

  • Lee, Yon-Sik;Mun, Young-Chae
    • 한국컴퓨터정보학회논문지
    • /
    • 제24권2호
    • /
    • pp.95-101
    • /
    • 2019
  • Sensor application systems for remote monitoring and control are required, such as the establishment of databases and IoT service servers, to process data being transmitted and received through radio communication modules, controllers and gateways. This paper designs and implements database server, IoT service server, data processing middleware and IoT management system for IoT based services based on the controllers, communication modules and gateway middleware platform developed. For this, we firstly define the specification of the data packet and control code for the information classification of the sensor application system, and also design and implement the database as a separate server for data protection and efficient management. In addition, we design and implement the IoT management system so that functions such as status information verification, control and modification of operating environment information of remote sensor application systems are carried out. The implemented system can lead to efficient operation and reduced management costs of sensor application systems through site status analysis, setting operational information, and remote control and management.

Estelle로 기술된 프로토콜의 적합성 검증에 관한 연구 (A study on the Conformance Test for Protocols Written in Estelle)

  • 인소란;원유훈
    • 전자공학회논문지B
    • /
    • 제29B권11호
    • /
    • pp.1-7
    • /
    • 1992
  • The conformance test is a methodology which verifies whether the Implementation Under Test (IUT) conforms to its standard specification or not. In this paper, first, the Conformance Test System(CTS) is implemented in prototype including verification test type, black-box test strategy, conformance test class, remote test structure, and IUT which is described by the ISO Estelle among Formal Description Techniques. Second, through this prototype the proposed system is experimented. The prototype is composed of two modules. The first module is the Estelle-to-Pascal preprocessor which converts the Estelle program to the corresponding Pascal program because the experimental IUT was described using the unexecutable code form of Estelle before being tested by the TD(Test Driver). The TD, the second module, is based on the master-slave concept and plays important role is CTS. The TD acts as the master with the IUTd being the slave. The prototype system is implemented using Turbo-C, Turbo-Pascal and Turbo-Assembly.

  • PDF

원전 증기발생기 와전류검사 시스템 현장적용 연구 (Field Feasibility Study of an Eddy Current Testing System for Steam Generator Tubes of Nuclear Power Plant)

  • 문균영;이태훈;김인철
    • 한국압력기기공학회 논문집
    • /
    • 제11권2호
    • /
    • pp.13-19
    • /
    • 2015
  • Steam generator is one of the most important component of nuclear power plant, and it's integrity and reliability are to be assured to high level by pre-service inspection and in-service inspection. To improve the reliability of steam generator heat exchanger tubes and to secure the management of nuclear power plant safely, KHNP CRI recently has developed eddy current testing system for steam generator. KHNP CRI have performed a series of experimental verification and field application to confirm the performance of the developed ECT system in accordance with ASME Code requirements. The ECT system consists of a remote data acquisition unit, an ECT signal acquisition and analysis software, a water chamber robot controller and a probe push-puller. In this paper, we will details of the developed ECT system and the software and their experimental performance. And also we will report the field applying performance and the issues for further steps.

연속 및 버스트모드 통신을 위한 길쌈부호기와 비터비복호기 ASIC 설계 (Design of a convolutional encoder and viterbi cecoder ASIC for continuous and burst mode communications)

  • 장대익;김대영
    • 한국통신학회논문지
    • /
    • 제21권4호
    • /
    • pp.984-995
    • /
    • 1996
  • Data errors according to the various noises caused in the satellite communication links are corrected by the Viterbi decoding algorithm which has extreme error correcting capability. In this paper, we designed and implemented a convolutional encoder and Viterbi decoder ASIC which is used to encode the input data at the transmit side and correct the errors of the received data at the receive side for use in the VSAT communication system. And this chip may be used in any BPSK, QPSK, or OQPSK transmission system. The ambiguity resolver corrects PSK modem ambiguities by delaying, interting, and/or exchanging code symbol to restore their original sequence and polarity. In case of previous decoding system, ambiguity state(AS) of data is resolved by external control logic and extra redundancy data are needed to resolve AS. But, by adopting decoder proposed in this paper, As of data is resolved automatically by internal logic of decoder in case of continuous mode, and by external As line withoug extra redudancy data in burst mode case. So, decoding parts are simple in continuous mode and transmission efficiency is increased in bust mode. The features of this chip are full duplex operation with independent transmit and receive control and clocks, start/stop inputs for use in burst mode systems, loopback function to verify encoder and decoder, and internal or external control to resolve ambinguity state. For verification of the function and performance of a fabricated ASIC chip, we equiped this chip in the Central and Remote Earth Station of VSAT system, and did the performance test using the commerical INTELSAT VII under the real satellite link environmens. The results of test were demonstrated the superiority of performance.

  • PDF

선형가속기의 6 MV X-선에 대한 소형 조사면 측정과 몬테 카를로 시뮬레이션 (Measurement and Monte Carlo Simulation of 6 MV X-rays for Small Radiation Fields)

  • 정동혁;이정옥;강정구;김수곤;김승곤;문성록
    • Radiation Oncology Journal
    • /
    • 제16권2호
    • /
    • pp.195-202
    • /
    • 1998
  • 목적 : 방사선수술의 치료계획에 필요한 기본자료를 얻기 위하여, 6 MV X-선의 소형 조사면을 측정하고, 동일 조사면에 대한 몬테칼로 계산을 수행하여 그 결과를 측정한 자료와 비교하였다. 재료 및 방법 : 연구에 사용한 조사면은 SSD 100 cm에서 직경 1.0, 2.0, 그리고 3.0 cm인 원형의 소형 조사면이며, 각 조사면에 대한 심부선량백분율 (PDD)과 빔측면도 (Beam profile)를 구하였다. 측정에는 소형 반도체검출기, 물팬텀 그리고 원격조정 장치를 이용하였다. 몬테칼로 계산은 EGS4를 이용하여 수행하였으며, 계산에는 6 MV X-선의 에너지 분포와 확산빔 (divergent beam), 원형 조사면 그리고 물팬텀을 고려하였다. 결과 : 심부선량백분율의 경우, 계산값은 측정간에 비하여 낮은 경향을 보였으며, 모든 조사면에 대하여 물팬텀속 깊이 2.0-20.0 cm에서 차이는 0.3-5.7%의 범위로 평가 되었고, 표면 영역에서는 0.0-8.9%로 나타났다. 물팬텀속 깊이 10.0 cm에서 90% 선량폭은 몬테칼로 계산과 잘 일치하였으나, 반음영의 계산값은 모든 조사면에 대하여 측정값보다 0.1 cm 작게 나타났다. 결론 : 측정한 소형 조사면에 대한 심부선량백분율과 빔측면도는 몬테칼로 계산과 근사적으로 일치하였다. 팬텀 표면영역과 반음영 영역에서 측정값과 계산값의 차이가 많이 발생하였으며, 이러한 이유는 몬테칼로 계산 수행시 단순한 기하구조를 가정했기 때문이다. 따라서 실제의 기하구조와 조사면에 대한 보다 정확한 자료를 적용 할 수 있도록, 지속적인 연구를 해야 할 것이며, 몬테칼로 계산은 측정과 검증이 어려운 경우에 대하여 정확한 정보를 얻을 수 있는 유용한 도구로서 많이 이용 될 것이다

  • PDF