• Title/Summary/Keyword: Remote Code Verification

Search Result 8, Processing Time 0.02 seconds

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

  • Choi, Jae-Yeong;Kim, Sung-Ki;Lee, Hyuk-Jun;Min, Byoung-Joon
    • The KIPS Transactions:PartC
    • /
    • v.19C no.1
    • /
    • pp.47-54
    • /
    • 2012
  • Sharing cross-site resources has been adopted by many recent websites in the forms of service-mashup and social network services. In this change, exploitation of the new vulnerabilities increases, which includes inserting malicious codes into the interaction points between clients and services instead of attacking the websites directly. In this paper, we present a system model to identify malicious script codes in the web contents by means of a remote verification while the web contents downloaded from multiple trusted origins are executed in a client's browser space. Our system classifies verification items according to the origin of request based on the information on the service code implementation and stores the verification results into three databases composed of white, gray, and black lists. Through the experimental evaluations, we have confirmed that our system provides clients with increased security by effectively detecting malicious scripts in the mashup web environment.

Sea surface temperature estimation from remote measurement of the thermal radiation

  • Mima, Kazuhiko;Satoh, Makoto;Moriyama, Masao;Ishimatsu, Takakazu
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1994.10a
    • /
    • 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

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

  • Lee, Sang-Rae;Lee, Jae-Deuk
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.32 no.7
    • /
    • pp.83-90
    • /
    • 2004
  • This paper describes on-board decentralized data acquisition system that acquires and encodes the numerous sensor data distributed on the big flight vehicles efficiently. The system's sub-units which have one encoder unit and several remote units were designed and simulated according to the communication protocols and the control, sequence logics based on the FPGA chip. And we have made the functional verification of the acquisition, collection and formatting of remote analog and digital data for the manufactured hardwares.

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

  • Lee, Yon-Sik;Mun, Young-Chae
    • Journal of the Korea Society of Computer and Information
    • /
    • v.24 no.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.

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

  • 인소란;원유훈
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.29B no.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 (원전 증기발생기 와전류검사 시스템 현장적용 연구)

  • Moon, Gyoon-Young;Lee, Tae-Hun;Kim, In-Chul
    • Transactions of the Korean Society of Pressure Vessels and Piping
    • /
    • v.11 no.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.

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

  • 장대익;김대영
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.21 no.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

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

  • Jeong Dong Hyeok;Lee Jeong Ok;Kang Jeong Ku;Kim Soo Kon;Kim Seung Kon;Moon Sun Rock
    • Radiation Oncology Journal
    • /
    • v.16 no.2
    • /
    • pp.195-202
    • /
    • 1998
  • Purpose : In order to obtain basic data for treatment plan in radiosurgery, we measured small fields of 6 MV X-rays and compared the measured data with our Monte Carlo simulations for the small fields. Materials and Methods : The small fields of 1.0, 2.0 and 3.0 cm in diameter were used in this study. Percentage depth dose (PDD) and beam Profiles of those fields were measured and calculated. A small semiconductor detector, water phantoms, and a remote control system were used for the measurement Monte Carlo simulations were Performed using the EGS4 code with the input data prepared for the energy distribution of 6 MV X-rays, beam divergence, circular fields and the geometry of the water phantoms. Results : In the case of PDD values, the calculated values were lower than the measured values for all fields and depths, with the differences being 0.3 to 5.7% at the depths of 20 to 20.0 cm and 0.0 to 8.9% at the surface regions. As a result of the analysis of beam profiles for all field sizes at a depth of loom in water phantom, the measured 90% dose widths were in good agreement with the calculated values, however, the calculated Penumbra radii were 0.1 cm shorter than measured values. Conclusion : The measured PDDs and beam profiles agreement with the Monte Carlo calculations approximately. However, it is different when it comes to calculations in the area of phantom surface and penumbra because the Monte Carlo calculations were performed under the simplified geometries. Therefore, we have to study how to include the actual geometries and more precise data for the field area in Monte Carlo calculations. The Monte Carlo calculations will be used as a useful tool for the very complicated conditions in measurement and verification.

  • PDF