• Title/Summary/Keyword: 임의성 검증

Search Result 358, Processing Time 0.026 seconds

On the SEED Validation System (SEED 구현 적합성 검증 시스템에 관한 연구)

  • Kim, Yeok;Jung, Chang-Ho;Jang, Yoon-Seok; Lee, Sang-Jin;Lee, Sung-Jae
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.13 no.1
    • /
    • pp.69-85
    • /
    • 2003
  • In this paper, we discuss a validation test for cryptographic algorithms. The cryptographic algorithms decide on the security and the confidence of a security system protecting sensitive information. So. the implementation of cryptographic algorithms is very critical of the system. The validation lest specifies the procedures involved in validating implementations of the cryptographic standards and provides conformance testing for components or procedures of the algorithm. We propose a SEED Validation System(SVS) to verify that the implementation correctly performs the SEED algorithm. The SVS is composed of two types of validation tests, the Known Answer test and the Monte Carlo test. The System generates the testing data for the Known Answer tests and the random data for the Monte Carlo tests. This system can be used to validate and certify the cryptographic product.

A Study of Negative App Detection from Active Pattern Anlysis in Android Platform (안드로이드 플랫폼에서 활성 패턴 분석을 통한 부정 앱 검출에 관한 연구)

  • Lee, Chang-Soo;Hwang, Jin-Wook
    • Proceedings of the KAIS Fall Conference
    • /
    • 2012.05b
    • /
    • pp.835-838
    • /
    • 2012
  • 최근 스마트폰의 폭팔적인 증가와 함께 사용 환경개선도 이루어 지고 있다. 또한 Wi-Fi 존의 증가와 LTE같은 빠른 네트워크 환경은 사용자 중심의 수 많은 앱을 탄생시키고 있다. 안드로이드는 애플의 iOS와는 다른 오픈소스 정책으로 플랫폼 소스가 공개되어 있어 많은 개발자가 쉽게 접근이 가능하다. 그러나 안드로이드는 앱(App) 검증 체계가 미흡하기 때문에 악성코드 등으로 인한 위협요소가 존재하고 있다. 또한 파일 시스템은 임의적 접근제어방식으로 공격자가 취약점을 통해 관리자 권한을 얻어 시스템 자원을 제어할 수 있기 때문에 위협요소가 다분하다. 본 논문에서는 스마트폰 앱이 호출하는 시스템 API 및 네트워크 자원사용 패턴을 분석하여 부정 앱을 차단하는 방법을 제안하였다. 제안 방법으로 실험한 결과 API호출 빈도 및 자원 사용률이 최소 기준치 이하로 검출된 경우를 제외한 평가대상은 모두 검출하여 보안성 강화에 효과적인 것으로 실험을 통하여 검증하였다.

  • PDF

Vibration Control for Structures based on Modal Energy based Neural Networks (모드에너지 기반 신경망을 사용한 구조물의 진동제어)

  • Chang, Seong-Kyu;Kim, Doo-Kie;Kim, Ki-Hong;Kim, Yun-Seok;Lee, Seung-Woo
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2011.04a
    • /
    • pp.53-56
    • /
    • 2011
  • 본 논문에서는 지진시 구조물의 진동을 줄이기 위한 방법으로 모드에너지 기반 신경망 제어 방법을 제안하였다. 모드에너지 기반 신경망 제어 방법은 신경망의 학습 과정에서 구조물의 모드 에너지를 이용하여 목적함수를 구성하며, 이 목적함수를 최소로 하는 학습을 진행한다. 제안된 제어 알고리즘의 적용성을 검증하기 위해서 능동질량감쇠기(AMD, Active Mass Damper)가 설치된 3층 구조물을 예제 모델로 선택하였으며, El Centrol지진을 이용하여 모드에너지기반 신경망제어 알고리즘을 학습시켰다. 모드에너지 기반 신경망 제어 알고리즘의 제어 성능은 학습 후 임의의 지진에 대한 하중으로 California지진을 사용하여 검증하였다. 해석 결과에서 California지진에 대한 제어 전 후의 결과와 기존의 방법인 MLP(Muli-layer Perceptron)의 결과와 비교하였다. 또한 제안된 제어 방법을 적용할 때, 지진시 구조물의 비선형 거동은 제어후 거의 보이지 않는 것을 확인 할 수 있었다.

  • PDF

A study on Secure Electronic Payment System Using Nominate Signature (수신자 지정 서명을 이용한 안전한 전자지불시스템에 관한 연구)

  • 강서일;이임영
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2004.05a
    • /
    • pp.139-142
    • /
    • 2004
  • 전자화폐는 전자상거래의 발달로 인해 이용이 높아지고 있다. 전자화폐는 실질 화폐의 가치를 가지고 있으므로, 여러 가지의 보안 사항 및 요구 사항이 필요하다. 그 중에서 익명성의 제공은 사용자의 프라이버시를 제공할 수 있는 방안이다. 보안 기술로는 은닉 서명 방식을 이용하는데 서명자가 메시지의 내용을 알 수 없는 상태에서 서명을 하는 것으로 사용자만이 값을 알고 있다. 그러나 서명 받을 메시지의 정당성을 확인하는 연산을 수행하여야 한다 본 논문에서 제안하는 것은 수신자 지정 서명방식을 이용하여, 전자화폐를 발급받고 이를 이용한다. 수신자 지정 서명은 서명자가 선택하는 검증자만이 확인 가능하므로, 전자화폐를 다른 제 3자가 이용할 수 없게 된다. 그러나 익명성을 제공할 수 없으므로, 변형이 필요하다. 제안 방식은 사용자의 지정을 통해 정당한 사용자만이 검증 할 수 있으며, 익명성의 제공을 위해 사용자가 선택한 임의 값을 삭제한다.

  • PDF

Synchronize Ethernet-based Fault Injection Algorithm Implementation for Intelligent Automotive Network (차량용 지능형 네트워크에서의 동기식 이더넷중심 오류 주입 알고리즘 구현☆)

  • Jang, Eunji;Kim, Inyoung;Lee, Woongjae
    • Journal of Internet Computing and Services
    • /
    • v.17 no.4
    • /
    • pp.43-50
    • /
    • 2016
  • In this paper, we propose the protocol of Ethernet that will receive a popular interesting in the automotive intelligent network, it also attempts to implementation and verification through simulation and experiments to propose a fault tolerance algorithm when the data transfer on it. It has proven the usefulness of the system in order to apply toward an existing automotive communication system. In the case of actual real-time data for automotive industry, we generated a randomly-generated data which is the set of payload into a standard format to complete the experiment. Among the implemented existing algorithms performance, we confirmed the effectiveness of all range from a single data to mixed (Hybrid-type) data, to verify the proposed algorithm.

Analysis of Eddy Current Effect in Magnetic Resonance Imaging Using the Finite Element Method (유한요소법에 의한 자기공명영상시스템에서의 와전류 영향 분석)

  • Lee, Jeong-Han;Gang, Hyeon-Su;Jo, Min-Hyeong;Mun, Chi-Ung;Lee, Gang-Seok;Lee, Su-Yeol
    • Journal of Biomedical Engineering Research
    • /
    • v.20 no.1
    • /
    • pp.53-58
    • /
    • 1999
  • Eddy current in MRI systems degrades gradient field linearity and distorts gradient waveform. When the waveform distortion is spatially variant, it is very difficult to perform special imaging techniques such as the echo planar imaging technique or the fast spin echo imaging technique. In this study, we have developed a new technique to estimate the distorted gradient waveforms at any points inside the imaging region using the finite element method. After obtaining the eddy-current-effect transfer function, which represents magnitude and phase characteristics of the gradient field at a particular point, we have used the transfer function to estimate the actual gradient waveforms at the point. To verify the proposed technique, we have compared the estimated gradient waveforms with the measured ones.

  • PDF

Real-time Stability Implementation of a Humanoid Robot Using FSR Sensors (FSR 센서를 이용한 휴머노이드 로봇의 보행 간 실시간 안정성 구현)

  • Cho, Hyoung-Rae;Noh, Kyung-Gon;Kim, Jin-Geol
    • Proceedings of the KIEE Conference
    • /
    • 2006.07d
    • /
    • pp.1971-1972
    • /
    • 2006
  • 본 논문에서는 휴머노이드 로봇의 예기치 않은 불규칙한 지면 환경 하에서 안정성을 확보하기위한 보행 전략을 제시한다. 휴머노이드 로봇의 안정성에 관한 지표로 널리 사용되는 ZMP(Zero Moment Point)나 COG(Center Of Gravity)를 이용한 방법은 많은 양의 연산을 필요로 하고, 주로 외부에서 가해지는 임의의 힘에 대처하는데 초점을 맞추고 있다. 휴머노이드 로봇의 불안정성을 유발하는 또 다른 주요한 원인으로 예기치 못한 지면 환경을 꼽을 수 있는데, 본 논문에서는 이러한 불규칙한 지형을 보행하는 휴머노이드 로봇의 실시간 안정성을 확보하는데 있어 ZMP나 COG가 아닌 지면으로부터의 반발력을 이용한 직관적인 알고리즘을 제시하며, 자체 개발된 휴머노이드 로봇 ISHURO II를 이용한 시뮬레이션으로 제시된 알고리즘을 검증한다.

  • PDF

The Off-line Verification System of Signature of Handwrite (필적 및 서명에 대한 Off-line 자동분석시스템)

  • Kim, Sei-Hoon;Ha, Jeung-Yo;Kim, Gye-Young;Choi, Hyung-Il
    • 한국HCI학회:학술대회논문집
    • /
    • 2007.02c
    • /
    • pp.189-193
    • /
    • 2007
  • 필적 감정은 개인의 고유한 필적 개성을 이용하여 임의의 두 필기 문장 또는 텍스트가 동일인에 의해 작성되었는지를 판별하는 기술로 유서대필 및 보안수사, 서명의 검증, 범죄 수사 등에 활용되어지고 있다. 이러한 작업은 감정 전문가의 판단기준에 의해 필적의 유사성을 판별하기 때문에 객관성 결여 및 과도한 소요 시간, 과도한 처리비용의 문제를 내포하게 된다. 이러한 문제를 해결하여 판별의 객관성과 업무의 신속한 처리를 가능하게 하기 본 논문에서는 컴퓨터를 통한 패턴 분석을 적용하여 두 필적의 유사성을 판별하는 방법을 본 논문에서는 제안한다. 이를 위하여 본 논문은 학습단계와 자동분석단계로 나뉘며, 학습단계에서는 입력된 문서영상에서 필적의 영역을 추출한 후, 특징을 추출하고 DTW연산을 통하여 학습을 한다. 자동분석단계에서는 대조할 문서영상에서의 특징을 추출하고 입력된 문서영상과 대조할 문서영상간의 마할라노비스 거리(Mahalanobis Distance)를 구하여 서명 및 필적에 대한 유사도를 도출한다. 실험은 4명의 필적을 이용하여 비교하였으며, 우수한 결과를 보였다.

  • PDF

Calculation of the Peak-hour Ratio for Road Traffic Volumes using a Hybrid Clustering Technique (혼합군집분석 기법을 이용한 도로 교통량의 첨두율 산정)

  • Kim, Hyung-Joo;Chang, Justin S.
    • Journal of Korean Society of Transportation
    • /
    • v.30 no.1
    • /
    • pp.19-30
    • /
    • 2012
  • The majority of daily travel demands concentrate at particular time-periods, which causes the difficulties in the travel demand analysis and the corresponding benefit estimation. Thus, it is necessary to consider time-specific traffic characteristics to yield more reliable results. Traditionally, na$\ddot{i}$ve, heuristic, and statistical approaches have been applied to address the peak-hour ratio. In this study, a hybrid clustering model which is one of the statistical methods is applied to calculate the peak-hour ratio and its duration. The 2009 national 24-hour traffic data provided by the Korea institute of Construction Technology are used. The analysis is conducted dividing vehicle types into passenger cars and trucks. For the verification for the usefulness of the methodology, the toll collection system data by the Korea Express Corporation are collected. The result of the research shows lower errors during the off-peak hours and night times and increasing error ratios as the travel distance increases. Since the method proposed can reduce the arbitrariness of analysts and can accommodate the statistical significance test, the model could be considered as a more robust and stable methodology. It is hoped that the result of this paper could contribute to the enhancement of the reliability for the travel demand analysis.

Using 3PARD analysis technique analysis of partial discharge in simulation distribution Line (3PARD 분석 기법을 활용한 모의 실선로 부분방전 분석)

  • Choi, Won;Kim, Jung-Yoon;Lee, Yong-Sung;Lee, Hyun-Sun;Kim, Dong-Ho;Lee, Chang-Su
    • Proceedings of the KIEE Conference
    • /
    • 2011.07a
    • /
    • pp.1558-1559
    • /
    • 2011
  • 지난 10년여간의 국내외 연구 결과 배전 케이블에 대한 부분방전 측정기술의 정확성은 상당히 향상되었고 그 결과물로서 수많은 측정 장비와 기법이 개발되어 오늘날 널리 보급되고 있다. 하지만 여전히 측정된 Data에 대한 해석은 일부 전문가들에게 조차 복잡하고 어려운 일로 남아 있다. 자칫 그릇된 해석은 향후 큰 사고로 이어질 수 있으므로 선로 운영자의 입장에서는 측정결과의 신뢰성에 민감할 수밖에 없다. 이러한 신뢰성을 높이 고자 대부분의 배전 케이블 구성이 3상으로 구성되어 있고 임의의 상에서 부분방전이 발생했을시 PRPDA(Phase Resolved Partial Discharge Analysis)기법으로는 발생상 확인에 한계가 있다. 이러한 단점을 보안 하고자 본 논문에서는 3PARD 분석 기법을 활용한 발생상 확인 및 검증을 하였다.

  • PDF