• 제목/요약/키워드: proof scheme

검색결과 133건 처리시간 0.024초

NFC 모바일 결제정보보호를 위한 NTRU기반 영지식 증명 기법 (NTRU Based Zero Knowledge Proof Scheme For NFC Mobile Payment Information Protection)

  • 박성욱;이해각;이임영
    • 한국멀티미디어학회:학술대회논문집
    • /
    • 한국멀티미디어학회 2012년도 춘계학술발표대회논문집
    • /
    • pp.63-66
    • /
    • 2012
  • 최근 스마트 기기는 결제, 할인쿠폰 등 각종 기능을 제공하는 수단으로 진화되면서 통신과 금융이 융합된 모바일 NFC 서비스의 시장이 급성장할 것으로 전망되고 있다. 특히 모바일 NFC 결제 서비스 시장의 활성화가 예상됨에 따라 모바일 NFC 결제 서비스는 국내 외적으로 널리 주목받고 있다. 하지만 이에 따른 NFC 기술 활용 증가로 개인정보 이용이 늘면서 침해요소 또한 증가하고 있다. 최근 한국인터넷진흥원에서 발표한 "NFC 개인정보보호 대책 최종보고서"에 따르면 개인정보 암호화를 부분적으로 미지원하거나 불필요한 개인정보의 과도한 수집 및 저장 등이 문제점으로 제기되었으며 Google사의 Google Wallet 서비스의 개인정보 유출 사고 또한 이러한 문제점을 뒷받침하는 근거가 되고 있다. 본 논문에서는 기존의 NFC 모바일 결제 서비스 상에서 결제정보를 이용한 결제 기술의 위협을 분석하고 결제정보를 직접적으로 사용하지 않고 결제자를 증명할 수 있는 NTRU기반 영지식 증명 기법을 제안한다.

  • PDF

결합된 퍼지 제어기를 이용한 볼과 플레이트 시스템에서의 추정제어기 설계 (Tracking Control of Ball and Plate System via Integrated Fuzzy Controllers)

  • 서민석;현창호;박민용
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
    • /
    • pp.223-225
    • /
    • 2006
  • A ball moving on a beam is a typical nonlnear dynamic system, which is often adopted to proof test diverse control schemes. Ball and plate system is the extension of the traditional ball and beam problem that moves a metal ball on a rigid plate. In this paper, a trajectory planning and tracking problem is proposed for ball and plate system, which is to control the ball from a point to another without hitting the obstacles. Our scheme is composed of three controllers, TS type optimal path tracking controller, mandani type obstacle avoidance controller and trajectory planning controller that determines the desired trajectory. But this type of construction can give rise to chattering executions. Because the difference of contributions from concurrent controllers can cause behaviors unsmoothly. We propose fuzzy pid supervision control1er to handle this problem.

  • PDF

비선형 시스템제어를 위한 복합적응 신경회로망 (Composite adaptive neural network controller for nonlinear systems)

  • 김효규;오세영;김성권
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
    • /
    • pp.14-19
    • /
    • 1993
  • In this paper, we proposed an indirect learning and direct adaptive control schemes using neural networks, i.e., composite adaptive neural control, for a class of continuous nonlinear systems. With the indirect learning method, the neural network learns the nonlinear basis of the system inverse dynamics by a modified backpropagation learning rule. The basis spans the local vector space of inverse dynamics with the direct adaptation method when the indirect learning result is within a prescribed error tolerance, as such this method is closely related to the adaptive control methods. Also hash addressing technique, similar to the CMAC functional architecture, is introduced for partitioning network hidden nodes according to the system states, so global neuro control properties can be organized by the local ones. For uniform stability, the sliding mode control is introduced when the neural network has not sufficiently learned the system dynamics. With proper assumptions on the controlled system, global stability and tracking error convergence proof can be given. The performance of the proposed control scheme is demonstrated with the simulation results of a nonlinear system.

  • PDF

Client-Side Caching for Nearest Neighbor Queries

  • Park Kwangjin;Hwang Chong-Sun
    • Journal of Communications and Networks
    • /
    • 제7권4호
    • /
    • pp.417-428
    • /
    • 2005
  • The Voronoi diagram (VD) is the most suitable mechanism to find the nearest neighbor (NN) for mobile clients. In NN query processing, it is important to reduce the query response time, since a late query response may contain out-of-date information. In this paper, we study the issue of location dependent information services (LDISs) using a VD. To begin our study, we first introduce a broadcast-based spatial query processing methods designed to support NN query processing. In further sections, we introduce a generic method for location-dependent sequential prefetching and caching. The performance of this scheme is studied in different simulated environments. The core contribution of this research resides in our analytical proof and experimental results.

동등한 권한을 가진 대표노드를 위한 비공개 블록 암호화 기법 (Fair Private Block Encryption Protocol for Delegated Node of Public Blockchain)

  • 정승욱;이후기
    • 융합보안논문지
    • /
    • 제19권5호
    • /
    • pp.11-18
    • /
    • 2019
  • 현재의 퍼블릭 블록체인은 누구나 원장의 내용을 볼 수 있도록 설계가 되어있다. 하지만 응용에 따라서 비밀 정보를 블록체인에 저장해야 하는 경우도 있으나 이에 대한 연구는 아직 미진한다. 본 논문에서는 DPoS(Delegated Proof of Stack) 합의 방식을 사용하는 블록체인을 대상으로 공개 블록과 비공개 블록의 두 개층으로 이루어진 블록체인을 제안하고 비공개 블록의 암호화를 위한 요구사항을 도출하였다. 도출된 암호화 요구사항을 만족하는 dealer없는 t-of-n threshold 암호화를 제안하였다. 제안된 기법이 대표노드간의 공평성과 동일한 신뢰성을 만족하는 특징을 가진다.

자동화 시스템내 셀 콘트롤러의 통신소프트웨어 개발 및 실험

  • 정병수;도성희;박경진;강무진
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 1992년도 추계학술대회 논문집
    • /
    • pp.243-248
    • /
    • 1992
  • Computer Integrated Manufacturing(CIM) is a growing technology as a solution for the total automation of a manufacturing system. However, the implementation in the shop floor is extremely difficult due to many reasons. Flexible Manufacturing System (FMS) is usually considered as a solution for the shop floor automation. One of the difficulties in FMS is the communications problem. Since various machinaries with different communications protocols are included, applying a unified scheme is almost impossible. Therefore, a systematic approach is a key point to solve the communication problem. A cell is defined as an automation unit where closely related for a job reside together. A cell is a messenger between upper level computers and lower level machine equipment. In this research, the functions of the cell are defined to have more capabilities than conventional cell since a cell can be often a total manufacturing system in a small to medium sized factory. The cell conducts communications with different machines through the communications schemes established here. A set of software system has been developed according to the defined communications. The software has been tested for a simulation and real experiments for proof.

가변 상태궤환 이득을 이용한 CDMA 셀룰라 시스템의 제한된 분산전력제어 (A Distributed Constrained Power Control with Variable State Feedback Gain in CDMA Cellular Systems)

  • 이무영;오도창;권우현
    • 제어로봇시스템학회논문지
    • /
    • 제9권12호
    • /
    • pp.1065-1070
    • /
    • 2003
  • We present a power control with variable state feedback gain (VFPC) to improve outage convergence rate of distributed constrained power control. The variable state feedback gain includes the information of the desired SIR changes and must be a decreasing sequence for the convergence. The proof of the convergence is given. The proposed algorithm can improve the outage convergence rate and SIR (Signal to Interference Ratio) response at transient as well as at steady state. The simulation results are given to demonstrate the feasibility of the proposed scheme.

의료용 플라스틱광섬유 센서 매트 (Sensor Mat using POF for Medical Application)

  • 최규남
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
    • /
    • pp.363-365
    • /
    • 2007
  • Novel concept of sensor mat and its signal processing method is proposed for patient monitoring in medical application. Proposed sensor mat structure has sensing inner layer which has cross-linked arrangement using plastic optical fiber(POF). Large core diameter of plastic optical fiber behaved as band pass filter by averaging the noise component. caused by unwanted environmental factors. Signal processor followed by sensor output added noise immune performance by filtering out unwanted component. Fail-proof patient breath monitoring scheme was realized by using intelligent decision algorithm. Unlike the conventional approach by using mechanical sensor, which have high sensitivity both to intruder and to environmental noise, our approach provided reliable breath motion detection.

  • PDF

STRONG CONVERGENCE OF MONOTONE CQ ITERATIVE PROCESS FOR ASYMPTOTICALLY STRICT PSEUDO-CONTRACTIVE MAPPINGS

  • Zhang, Hong;Su, Yongfu;Li, Mengqin
    • Journal of applied mathematics & informatics
    • /
    • 제27권3_4호
    • /
    • pp.763-771
    • /
    • 2009
  • T.H. Kim, H.K. Xu, [Convergence of the modified Mann's iteration method for asymptotically strict pseudo-contractions, Nonlinear Anal.(2007),doi:l0.l016/j.na.2007.02.029.] proved the strong convergence for asymptotically strict pseudo-contractions by the classical CQ iterative method. In this paper, we apply the monotone CQ iterative method to modify the classical CQ iterative method of T.H. Kim, H.K. Xu, and to obtain the strong convergence theorems for asymptotically strict pseudo-contractions. In the proved process of this paper, Cauchy sequences method is used, so we complete the proof without using the demi-closedness principle, Opial's condition or others about weak topological technologies. In addition, we use a ingenious technology to avoid defining that F(T) is bounded. On the other hand, we relax the restriction on the control sequence of iterative scheme.

  • PDF

궤환을 갖는 2차 반복 학습제어 알고리즘에 관한 연구 (A Study on the Second-order Iterative Learning Control Algorithm with Feedback)

  • 허경무
    • 대한전기학회논문지:전력기술부문A
    • /
    • 제48권5호
    • /
    • pp.629-635
    • /
    • 1999
  • A second-order iterative learning control algorithm with feedback is proposed in this paper, in which a feedback term is added in the learning control scheme for the enhancement of convergence speed and robustness to disturbances or system parameter variations. The convergence proof of the proposed algorithm is givenl, and the sufficient condition for the convergence of the algorithm is provided. And it also includes the discussions about the convergence performance of the algorithm when the initial condition at the beginning of each iteration differs from the previous value of the initial. Simulation results show the validity and efficiency of the proposed algorithm.

  • PDF