• 정보보호학회논문지
• /
• 제31권3호
• /
• pp.291-307
• /
• 2021

그동안 COVID-19의 확산을 막고 사회를 정상화하려는 노력이 있었고, 감염 확산 탐지를 위해선 접촉자 추적기술이 필수적이다. 하지만, 정부에 의한 접촉 추적 과정에서 공개된 감염자의 개인 정보 침해에 대한 우려가 제기되고 있고, 이에 Google과 Apple은 개인 정보 보호와 보안을 고려하여 정부와 보건 기관의 COVID-19 확산 방지에 대한 노력을 도울 수 있도록 블루투스 기술을 사용한 접촉 추적 기술을 발표했다. 그러나 더 나은 접촉 추적기술을 제시하기 위해서는 체계적으로 보안 위협 및 취약점 도출하는 과정이 필요하다. 본 논문에서는 STRIDE, LINDDUN 위협 모델링을 통해 COVID-19 접촉 추적 기술에 대한 보안성을 분석하고, 이것을 기반으로 Zero-knowledge Succinctness Non-interactive Arguments of Knowledges(zkSNARKs)와 Public Key Infrastructure(PKI)를 이용해 실질적인 데이터 무결성과 개인 정보 보호 보장 방식을 제안한다.

• 대한수학회지
• /
• 제59권3호
• /
• pp.621-634
• /
• 2022

The scaled inverse of a nonzero element a(x) ∈ ℤ[x]/f(x), where f(x) is an irreducible polynomial over ℤ, is the element b(x) ∈ ℤ[x]/f(x) such that a(x)b(x) = c (mod f(x)) for the smallest possible positive integer scale c. In this paper, we investigate the scaled inverse of (xⁱ - x^j) modulo cyclotomic polynomial of the form Φ_p^s (x) or Φ_p^sq^t (x), where p, q are primes with p < q and s, t are positive integers. Our main results are that the coefficient size of the scaled inverse of (xⁱ - x^j) is bounded by p - 1 with the scale p modulo Φ_p^s (x), and is bounded by q - 1 with the scale not greater than q modulo Φ_p^sq^t (x). Previously, the analogous result on cyclotomic polynomials of the form Φ_2ⁿ (x) gave rise to many lattice-based cryptosystems, especially, zero-knowledge proofs. Our result provides more flexible choice of cyclotomic polynomials in such cryptosystems. Along the way of proving the theorems, we also prove several properties of {x^k}_k∈ℤ in ℤ[x]/Φ_pq(x) which might be of independent interest.

• 융합보안논문지
• /
• 제24권2호
• /
• pp.141-150
• /
• 2024

최근 개인정보 유출에 대한 사고가 빈번하게 발생함에 따라 개인정보보호에 대한 관심이 높아지고 있다. 또한, 블록체인 기술의 등장과 함께 블록체인을 적용한 자기주권 신원 모델에 대한 관심이 높아지고 있으며, 이를 실현하기 위해 DID에 대한 연구도 꾸준히 이루어지고 있다. 하지만 대학 내 전산시스템은 수많은 개인정보 등의 주요 정보를 저장하고 활용하지만, 중앙화된 정보시스템을 기반으로 운영 및 관리되고 있으며, 이에 따른 개인정보 유출 사고사례도 매년 발생하고 있다. 따라서 본 논문에서는 대학 내 적용 가능한 DID 기반의 전산시스템을 제안하고 이를 구현한다. 또한, 대학 내에서의 대표적인 서비스를 설정하고 구현 시스템에서 수행한다. 제안하는 시스템은 영지식증명을 기반으로 사용자의 자기주권 신원을 보장할 수 있으며, 기존의 중앙화된 시스템에서 벗어나 안전한 대학 내 통합정보시스템을 구성할 수 있다.

• Structural Engineering and Mechanics
• /
• 제21권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.

• 로봇학회논문지
• /
• 제19권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.

• 한국실내디자인학회논문집
• /
• 제27권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.

• 한국의료질향상학회지
• /
• 제3권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.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제2권12호
• /
• pp.517-524
• /
• 2013

지식기반의 패스워드 인증방식이 대중적으로 사용되었으나, 사전공격과 같은 근본적인 문제를 해결하지 못한다. 이에따라 소유기반의 인증기술에 대한 연구가 필요해졌다. 2002년 Lee et al.은 지식기반정보(패스워드)와 소유기반정보(smartcard)를 이용한 사용자 원격 인증기법을 제안하였으며, 그 이후로 스마트카드를 이용한 원격 인증기법에 대한 연구가 활발하게 진행되었다. 2009년 Xu et al.은 사용자 익명성을 보장하는 프로토콜을 제안하였으나, 2012년 Shin et al.은 Xu et al. 기법의 사용자익명성 노출, 위장공격에 대한 취약점을 분석하고 이를 개선한 사용자 익명성을 보장하는 프로토콜을 제안하였다. 본 논문에서는 Shin et al. 기법을 전방향안전성과 내부자공격에 대한 취약점을 분석하고 전방향안전성, 내부자공격, 사용자익명성, 위장공격에 안전한 타원곡선암호기반의 사용자 인증 프로토콜을 제안한다.

• 한국가스학회지
• /
• 제26권4호
• /
• pp.41-57
• /
• 2022

기후변화 대응에 따른 전세계적인 탄소중립 이행에 대한 요구는 수출주도형 경제구조와 온실가스 수출국가로 분류되어 있는 우리나라를 비롯한 일부 국가들에게 탄소 무역장벽 대응방안을 마련해야 하는 상황에 놓여있다. 따라서, 탄소중립 이행 모델의 적용을 위해 예측 가능한 방법 중에 하나인 디지털 전환을 앞당겨 도입해야 한다. 주요산업 중 하나인, 첨단제조산업에서 쓰이는 산업용 가스 제조시설과 친환경 에너지로 부각되고 있는 수소 가스시설에 디지털 기술을 적용하여, 이상감지 및 진단 서비스를 클라우드 기반의 조업지식이 포함된 예측진단 모니터링 기술 동향을 소개한다. 단순히 실시간 설비 상태를 모니터링하는 것이 아닌, 최적화와 증강현실 기술, 그리고 IoT 와 AI 지식 추론 등을 통해 이상진단 예측 모니터링의 구축 방향을 확인하고, 탄소중립 이행의 사각지대에 놓여 있는, 중소·중견 기업의 경제성과 효율성이 부합되는, 엔지니어링 도메인의 합의된 지식과 예측진단 모니터링 등의 기술 보급 가능함을 살펴 볼 수 있다. 최고 수준의 ICT 기술을 바탕으로 탄소배출 무역장벽에 따른 대응 방안을 모색하는 하나의 방안으로 활용되길 바라며, 해당 기술의 도입을 통해, 탄소중립 이행에 따른 중소·중견기업의 마중물이 될 것이다.

• International Journal of Control, Automation, and Systems
• /
• 제6권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.