• 제목/요약/키워드: zero-knowledge

검색결과 148건 처리시간 0.026초

Uniform ultimate boundedness를 보장하는 선형 시블변 되먹임 보상기 설계 (The Design of a Robust Linear Time-invariant Feedback Compensator Guaranteeing Uniform Ultimate Boundedness for Uncertain Multivariable Systems)

  • 최한호;유동상;정명진
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1991년도 하계학술대회 논문집
    • /
    • pp.678-681
    • /
    • 1991
  • In this paper, we propose a robust linear time-invariant feedback compensator design methodology for multivariable system which have both matched and mismatched uncertainties. In order to attack the problem of designing robust compensators guaranteeing uniform ultimate boundedness of every closed-loop system response within an arbitrarily small ball centered at the zero state based solely on the knowledge of the upper norm-bounds of uncertainties, we use an approach based upon the comparison theorem which is an effective approach in studying augmented feedback control systems with both mismatched and matched uncertainties. Through the approach, we draw some sufficient conditions for robust stability, and we give a simple example.

  • PDF

A Study on the Stabilization Force Control of Robot Manipulator

  • Hwang, Yeong Yeun
    • International Journal of Safety
    • /
    • 제1권1호
    • /
    • pp.1-6
    • /
    • 2002
  • It is important to control the high accurate position and force to prevent unexpected accidents by a robot manipulator. Direct-drive robots are suitable to the position and force control with high accuracy, but it is difficult to design a controller because of the system's nonlinearity and link-interactions. This paper is concerned with the study of the stabilization force control of direct-drive robots. The proposed algorithm is consists of the feedback controllers and the neural networks. After the completion of learning, the outputs of feedback controllers are nearly equal to zero, and the neural networks play an important role in the control system. Therefore, the optimum adjustment of control parameters is unnecessary. In other words, the proposed algorithm does not need any knowledge of the controlled system in advance. The effectiveness of the proposed algorithm is demonstrated by the experiment on the force control of a parallelogram link-type robot.

학습제어기를 이용한 직접구동형 로봇의 힘제어 (Force control of the direct-drive robot using learning controller)

  • 황용연
    • 대한기계학회논문집A
    • /
    • 제21권11호
    • /
    • pp.1819-1826
    • /
    • 1997
  • Direct-drive robots are suitable to the position and force control with high accuracy, but it is difficult to design a controller because of the system's nonlinearity and link-interactions. This paper is concerned with the study of the force control of direct-drive robots. The proposed algorithm consists of feedback controllers and a neural network. After the completion of learning, the output of feedback controller is nearly equal to zero, and the neural network controller plays an important role in the control system. Therefore, the optimum retuning of parameters of feedback controllers is unnecessary. In other words, the proposed algorithm does not require any knowledge of the controlled system in advance. The effectiveness of the proposed algorithm is demonstrated by the experiment on the force control of the parallelogram link-type direct-drive robot.

VERIFICATION OF A PAILLIER BASED SHUFFLE USING REPRESENTATIONS OF THE SYMMETRIC GROUP

  • Cho, Soo-Jin;Hong, Man-Pyo
    • 대한수학회보
    • /
    • 제46권4호
    • /
    • pp.771-787
    • /
    • 2009
  • We use an idea of linear representations of the symmetric group to reduce the number of communication rounds in the verification protocol, proposed in Crypto 2005 by Peng et al., of a shuffling. We assume Paillier encryption scheme with which we can apply some known zero-knowledge proofs following the same line of approaches of Peng et al. Incidence matrices of 1-subsets and 2-subsets of a finite set is intensively used for the implementation, and the idea of $\lambda$-designs is employed for the improvement of the computational complexity.

Design of Digital Fingerprinting Scheme for Multi-purchase

  • Choi, Jae-Gwi;Rhee, Kyung-Hyune
    • 한국멀티미디어학회논문지
    • /
    • 제7권12호
    • /
    • pp.1708-1718
    • /
    • 2004
  • In this paper, we are concerned with a digital fingerprinting scheme for multi-purchase where a buyer wants to buy more than a digital content. If we apply previous schemes to multi-purchase protocol, the number of execution of registration step and decryption key should be increased in proportion to that of digital contents to be purchased in order to keep unlinkability. More worse, most of fingerprinting schemes in the literature are based on either secure multi-party computation or general zero-knowledge proofs with very high computational complexity. These high complexities complicate materialization of fingerprinting protocol more and more. In this paper, we propose a multi-purchase fingerprinting scheme with lower computational complexity. In the proposed scheme, a buyer executes just one-time registration step regardless of the number of contents to be purchased. The number of decryption key is constant and independent of the number of contents to be purchased. We can also reduce the computational costs of buyers by introducing a concept of proxy-based fingerprinting protocol.

  • PDF

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

정보중심 전력증강의 전쟁억제 효과: 게임이론적 분석 (The Impact of Information-Centric Force Improvements on Deterrence of Invasion: A Game-Theoretic Analysis)

  • 조재영;김승권
    • 한국국방경영분석학회지
    • /
    • 제31권1호
    • /
    • pp.1-13
    • /
    • 2005
  • Due to the rapid developments in information and computer technology, the warfare paradigm is being transformed into information-centric and knowledge-based warfare. This atmosphere may have significant impact on the ROK armed forces' Force Improvement Plans (FIP) which is documented in 'Defense White Paper 2004'. We focus here on the relationship of information-centric force and deterrence of invasion. Particularly, we are interested in understanding the level of information superiority that might be required to deter the invasion. In order to solve this problem, we employed two-sided, zero-sum strategic game to simulate the outcome with six hypothetical cases devised by varying the level of information superiority.

GF($2^n$)의 다항식을 이용한 영지식 증명의 인증 기법 (An Authentication Scheme using Polynomial Equation of GF($2^n$) In ZK-Proof Protocol)

  • 이원희;전문석;이철희
    • 한국통신학회논문지
    • /
    • 제18권1호
    • /
    • pp.150-156
    • /
    • 1993
  • 본 논문에서는 정보통신에 있어서 수신자가 송신자 및 송신문을 인증하는 방법으로써Galois Field에서의 다항식을 이용한 암호가 기법을 적용하여 인증에 걸리는 처리속도를 향상시켰으며, 또한 송신자에 대한 인증정보를 대화방식으로 영지식증명 절차를 이용하여 생성하고, 이를 송신문에대한 인증정보에 포함하여 전송하므로써 비밀정보 교환의 안전성을 강화하였다.

  • PDF

BLIND IDENTIFICATION USING BILINEAR PAIRINGS FOR SMART CARDS

  • Lee, Young-Whan
    • Journal of applied mathematics & informatics
    • /
    • 제26권5_6호
    • /
    • pp.1139-1147
    • /
    • 2008
  • A. Saxena et al. first proposed a two-flow blind identification protocol in 2005. But it has a weakness of the active-intruder attack and uses the pairing operation that causes slow implementation in smart cards. In this paper, we give a method of the active-intruder attack on their identification scheme and propose a new zero- knowledge blind identification protocol for Smart cards. Our protocol consists of only two message flows and does not rely on any underlying signature or encryption scheme. The prover using computationally limited devices such as smart cards has no need of computing the bilinear pairings. It needs only for the verifier. Our protocol is secure assuming the hardness of the Discrete-Logarithm Problem in bilinear groups.

  • PDF

신경회로망을 이용한 직접 구동형 로봇의 위치제어에 관한 연구 (A Study on Position Control of the Direct Drive Robot Using Neural Networks)

  • 신춘식;황용연;노창주
    • Journal of Advanced Marine Engineering and Technology
    • /
    • 제21권3호
    • /
    • pp.284-292
    • /
    • 1997
  • This paper is concerned with position control of direct drive robots. The proposed algorithm consists of the feedback controller and neural networks. Mter the completion of learning, the output of the feedback controller is nearly equal to zero, and the neural networks play an important role in the control system. Therefore, the optimum retuning of control parameters is unnecessary. In other words, the proposed algorithm does not need any knowledge of the con¬trolled system in advance. The effectiveness of the proposed algorithm is demonstrated by the experiment on the position control of a parallelogram link-type direct drive robot.

  • PDF