• Title/Summary/Keyword: zero-knowledge

Search Result 151, Processing Time 0.024 seconds

Study on the Application of a Decentralized Identity System within University Based on Zero-Knowledge Proof for Self-Sovereign Identity Assurance (자기주권 신원 보장을 위한 영지식증명 기반의 대학 내 DID 시스템 적용방안 연구)

  • Im Sung Sik;Kim Seo Yeon;Kim Dong Woo;Han Su Jin;Lee Ki Chan;Oh Soo Hyun
    • Convergence Security Journal
    • /
    • v.24 no.2
    • /
    • pp.141-150
    • /
    • 2024
  • With the increasing frequency of incidents related to personal information leaks, there is a growing concern about personal information protection. Moreover, with the emergence of blockchain technology, there is a heightened interest in self-sovereign identity models applied through blockchain, with ongoing research on Decentralized Identifiers (DID) to achieve this. However, despite universities storing and utilizing significant information such as personal data, their computer systems are operated and managed based on centralized systems, leading to annual occurrences of personal data breaches. Therefore, this paper proposes and implements a DID-based computing system applicable within universities. Additionally, it establishes and executes prominent services within the university context. The proposed system ensures users' self-sovereign identities through verifiable credentials, enabling the establishment of a secure integrated information system within the university, departing from traditional centralized systems.

A function space approach to study rank deficiency and spurious modes in finite elements

  • Sangeeta, K.;Mukherjee, Somenath;Prathap, Gangan
    • Structural Engineering and Mechanics
    • /
    • v.21 no.5
    • /
    • pp.539-551
    • /
    • 2005
  • Finite elements based on isoparametric formulation are known to suffer spurious stiffness properties and corresponding stress oscillations, even when care is taken to ensure that completeness and continuity requirements are enforced. This occurs frequently when the physics of the problem requires multiple strain components to be defined. This kind of error, commonly known as locking, can be circumvented by using reduced integration techniques to evaluate the element stiffness matrices instead of the full integration that is mathematically prescribed. However, the reduced integration technique itself can have a further drawback - rank deficiency, which physically implies that spurious energy modes (e.g., hourglass modes) are introduced because of reduced integration. Such instability in an existing stiffness matrix is generally detected by means of an eigenvalue test. In this paper we show that a knowledge of the dimension of the solution space spanned by the column vectors of the strain-displacement matrix can be used to identify the instabilities arising in an element due to reduced/selective integration techniques a priori, without having to complete the element stiffness matrix formulation and then test for zero eigenvalues.

Utilizing AI Foundation Models for Language-Driven Zero-Shot Object Navigation Tasks (언어-기반 제로-샷 물체 목표 탐색 이동 작업들을 위한 인공지능 기저 모델들의 활용)

  • Jeong-Hyun Choi;Ho-Jun Baek;Chan-Sol Park;Incheol Kim
    • The Journal of Korea Robotics Society
    • /
    • v.19 no.3
    • /
    • pp.293-310
    • /
    • 2024
  • In this paper, we propose an agent model for Language-Driven Zero-Shot Object Navigation (L-ZSON) tasks, which takes in a freeform language description of an unseen target object and navigates to find out the target object in an inexperienced environment. In general, an L-ZSON agent should able to visually ground the target object by understanding the freeform language description of it and recognizing the corresponding visual object in camera images. Moreover, the L-ZSON agent should be also able to build a rich spatial context map over the unknown environment and decide efficient exploration actions based on the map until the target object is present in the field of view. To address these challenging issues, we proposes AML (Agent Model for L-ZSON), a novel L-ZSON agent model to make effective use of AI foundation models such as Large Language Model (LLM) and Vision-Language model (VLM). In order to tackle the visual grounding issue of the target object description, our agent model employs GLEE, a VLM pretrained for locating and identifying arbitrary objects in images and videos in the open world scenario. To meet the exploration policy issue, the proposed agent model leverages the commonsense knowledge of LLM to make sequential navigational decisions. By conducting various quantitative and qualitative experiments with RoboTHOR, the 3D simulation platform and PASTURE, the L-ZSON benchmark dataset, we show the superior performance of the proposed agent model.

A Study on Design Elements and Infrastructure System of Library Space as a Place of Shared Culture (공유문화의 장으로서의 도서관 공간의 설계요소 및 인프라 체계 연구)

  • Hwang, Mee-Young
    • Korean Institute of Interior Design Journal
    • /
    • v.27 no.2
    • /
    • pp.86-97
    • /
    • 2018
  • In modern times, pluralistic social phenomena in which various values are pursed and recognized appear. The modern society called hyper-connected, intelligence information and zero marginal cost society in which shared value is commonly emphasized faces a paradigm shift to shared society system. In particular, sharing-based activities related with intelligence information sectors more prominently emerge in the high-tech informatization which has been accelerated. The purpose of this study is to understand design factors related with how attribution of the sharing culture is expressed in library spaces and examine how sharing infrastructure is established in users' spaces. As a research method, it initially conducted theoretical consideration of the sharing culture and information spaces, which can be regarded as sociocultural phenomena in modern times. Then, it drew sharing culture-based spatial design factors-access, openness and plurality. It analyzed configuration of spaces for sharing information-Cultural Commons (CC), Information Commons(IC) and Learning Commons (LC) - and infrastructure of information spaces, for library cases-five domestic and foreign public libraries-. The findings show that modern library spaces reflect historical needs for the sharing culture and actively serve their roles through spatial infrastructure including contents (programs) and services for sharing knowledge. The study is determined to be valuable as basic data in establishing the infrastructure of information spaces reflecting modern social trends and cultural phenomena, in expecting spatial structures in which knowledge is reproduced and planning spaces of libraries in the future.

Evaluating the Accuracy of Blood Pressure Measurement (혈압측정의 정확성 평가)

  • Cho, Sung-Hyun;Hwang, Jeong-Hae;Kim, Eun-Gyung;Oh, Byung-Hee;Kim, Chang-Yup
    • Quality Improvement in Health Care
    • /
    • v.3 no.1
    • /
    • pp.94-103
    • /
    • 1996
  • Background : Blood pressure is an important indicator in diagnosis and assessing treatment of a patient. Clinical staffs use blood pressure on the assumption that measured value is accurate and reliable. However, whether measured blood pressure is accurate has been rarely investigated in Korea. Objectives : The aims of this study are to evaluate clinical staffs' knowledge and technique as well as accuracy of sphygmomanometer. Also the program to improve the measurement is developed. Methods : Seventy-three registered nurses were asked nine multiple choice questions including Korotkoff sound, cuff size, and deflation rate. Simultaneously characteristics of nurses were examined, age, working place, duration of employment and academic degree. A testing videotape(Standardizing Measurement Video-Tutored Course) was used for evaluating the accuracy of measurement. Testees were to read and record the 12 cases of blood pressure measurement, watching a falling mercury column and hearing Korotkoff sounds. After 10 minutes' education, they were again tested with the same cases. Additionally, 83 mercury sphygmomanometers were checked to find defects such as inaccurate calibration and zero setting, leaky bladder, etc. Results: For the knowledge testing correct response rate was 41.1%. They were the lowest in selecting the proper cuff size and Korotkoff sound. In examining accuracy of blood pressure with videotape, nurses had 67.7% correct response rate. The correct response rate was significantly improved by a session of education. About 23% of sphygmomanometers was without discernable defects. Conclusion : The knowledge and skill of clinical staffs along with the accuracy of equipment have to be improved. A properly designed education program would contribute to the accuracy improvement of blood pressure measurement. Also, more concerns should be given to the precision and maintenance of equipment.

  • PDF

Zero-knowledge Based User Remote Authentication Over Elliptic Curve (타원곡선상의 영지식기반 사용자 원격인증 프로토콜)

  • Choi, Jongseok;Kim, Howon
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.2 no.12
    • /
    • pp.517-524
    • /
    • 2013
  • Although password-based authentication as known as knowledge-based authentication was commonly used but intrinsic problems such as dictionary attack remain unsolved. For that the study on possession-based authentication was required. User remote authentication using smartcard is proceeding actively since Lee et al. proposed user remote authentication using knowledge-based information(password) and possession-base information(smartcard) in 2002. in 2009, Xu et al. proposed a new protocol preserving user anonymity and Shin et al. proposed enhanced scheme with analysis of its vulnerabilities on user anonymity and masquerading attack in 2012. In this paper, we analyze Shin et al. scheme on forward secrecy and insider attack and present novel user authentication based on elliptic curve cryptosystem which is secure against forward secrecy, insider attack, user anonymity and masquerading attack.

Technology Trends of Smart Abnormal Detection and Diagnosis System for Gas and Hydrogen Facilities (가스·수소 시설의 스마트 이상감지 및 진단 시스템 기술동향)

  • Park, Myeongnam;Kim, Byungkwon;Hong, Gi Hoon;Shin, Dongil
    • Journal of the Korean Institute of Gas
    • /
    • v.26 no.4
    • /
    • pp.41-57
    • /
    • 2022
  • The global demand for carbon neutrality in response to climate change is in a situation where it is necessary to prepare countermeasures for carbon trade barriers for some countries, including Korea, which is classified as an export-led economic structure and greenhouse gas exporter. Therefore, digital transformation, which is one of the predictable ways for the carbon-neutral transition model to be applied, should be introduced early. By applying digital technology to industrial gas manufacturing facilities used in one of the major industries, high-tech manufacturing industry, and hydrogen gas facilities, which are emerging as eco-friendly energy, abnormal detection, and diagnosis services are provided with cloud-based predictive diagnosis monitoring technology including operating knowledge. Here are the trends. Small and medium-sized companies that are in the blind spot of carbon-neutral implementation by confirming the direction of abnormal diagnosis predictive monitoring through optimization, augmented reality technology, IoT and AI knowledge inference, etc., rather than simply monitoring real-time facility status It can be seen that it is possible to disseminate technologies such as consensus knowledge in the engineering domain and predictive diagnostic monitoring that match the economic feasibility and efficiency of the technology. It is hoped that it will be used as a way to seek countermeasures against carbon emission trade barriers based on the highest level of ICT technology.

Fully Adaptive Feedforward Feedback Synchronized Tracking Control for Stewart Platform Systems

  • Zhao, Dongya;Li, Shaoyuan;Gao, Feng
    • International Journal of Control, Automation, and Systems
    • /
    • v.6 no.5
    • /
    • pp.689-701
    • /
    • 2008
  • In this paper, a fully adaptive feedforward feedback synchronized tracking control approach is developed for precision tracking control of 6 degree of freedom (6DOF) Stewart Platform. The proposed controller is designed in decentralized form for implementation simplicity. Interconnections among different subsystems and gravity effect are eliminated by the feedforward control action. Feedback control action guarantees the stability of the system. The gains of the proposed controller can be updated on line without requiring any prior knowledge of Stewart Platform manipulator. Thus the control approach is claimed to be fully adaptive. By employing cross-coupling error technology, the proposed approach can guarantee both of position error and synchronization error converge to zero asymptotically. Because the actuators work in synchronous manner, the tracking performances are improved. The corresponding stability analysis is also presented in this paper. Finally, simulation is demonstrated to verify the effectiveness of the proposed approach.

ZERO-KNOWLEDGE GROUP IDENTIFICATION AND HIDDEN GROUP SIGNATURE FOR SMART CARDS USING BILINEAR PAIRINGS

  • Lee, Young Whan;Choi, Byung Mun
    • Journal of the Chungcheong Mathematical Society
    • /
    • v.20 no.4
    • /
    • pp.355-366
    • /
    • 2007
  • In this paper, we propose a new blind group identification protocol and a hidden group signature protocol as its application. These protocols involve many provers and one verifier such that (1) the statement of all the provers are proved simultaneously, (2) and also all the provers using computationally limited devices (e.g. smart cards) have no need of computing the bilinear pairings, (3) but only the verifier uses the bilinear pairings. A. Saxena et al. proposed a two-round blind (group) identification protocol in 2005 using the bilinear pairings. But it reveals weakness in the active-intruder attack, and all the provers as well as the verifier must have devices computing bilinear pairings. Comparing their results, our protocol is secure from the active-intruder attack and has more fit for smart cards. In particular, it is secure under only the assumption of the hardness of the Discrete-Logarithm Problem in bilinear groups.

  • PDF

Study on video character extraction and recognition (비디오 자막 추출 및 인식 기법에 관한 연구)

  • 김종렬;김성섭;문영식
    • Proceedings of the IEEK Conference
    • /
    • 2001.06c
    • /
    • pp.141-144
    • /
    • 2001
  • In this paper, a new algorithm for extracting and recognizing characters from video, without pre-knowledge such as font, color, size of character, is proposed. To improve the recognition rate for videos with complex background at low resolution, continuous frames with identical text region are automatically detected to compose an average frame. Using boundary pixels of a text region as seeds, we apply region filling to remove background from the character Then color clustering is applied to remove remaining backgrounds according to the verification of region filling process. Features such as white run and zero-one transition from the center, are extracted from unknown characters. These feature are compared with a pre-composed character feature set to recognize the characters.

  • PDF