• 한국정밀공학회지
• /
• 제18권1호
• /
• pp.111-116
• /
• 2001

A practical scheme to reduce failure of the PCB(Printed Circuit Board) of a monitor is introduced using deformed mode shape under mechanical shock. When the monitor is given critical shock loads, cracks are commonly initiated at the tip of a hole on the PCB. Accordingly, a deformed mode shape of the PCB is obtained using a FEM code to define a weak point on the PCB under mechanical shock, and then the position and direction of the hole is determined to prevent the failure at the critical mode shape. Also, the stress intensity factor around the weak point on the PCB is calculated to check the possibility of fracture by normal tensile stress. In conclusion, present research is useful to assist the practical design of components-layout on the PCB.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2019년도 추계학술발표대회
• /
• pp.473-474
• /
• 2019

Recently, data security and convenience are critical requirements to the interaction and collaboration of tourism service systems for the tourism industry. However, there are still many challenges for current tourism service systems to fulfill these requirements since they have inconsistent structures with different access control models and security policies. Blockchain has the potential to evolve the conventional tourism industry benefiting by its unique features such as data privacy and transparency. This paper mainly aims the interworking mechanism of heterogenous blockchain platforms for secure tourism service. We propose interworking scheme to connect multi-blockchain platforms for enhancing data integrity in the tourism industry. A proof of concept design and implement based on Hyperledger Fabric and Winding Tree.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권9호
• /
• pp.3401-3420
• /
• 2021

We provide a traceable ciphertext-policy attribute based encryption (CP-ABE) construction for monotone access structures (MAS) based on composite order bilinear groups, which is secure adaptively under the standard model. We construct this scheme by making use of an "encoding technique" which represents the MAS by their minimal sets to encrypt the messages. To date, for all traceable CP-ABE schemes, their encryption costs grow linearly with the MAS size, the decryption costs grow linearly with the qualified rows in the span programs. However, in our traceable CP-ABE, the ciphertext is linear with the minimal sets, and decryption needs merely three bilinear pairing computations and two exponent computations, which improves the efficiency extremely and has constant decryption. At last, the detailed security and traceability proof is given.

• 한국정밀공학회지
• /
• 제12권4호
• /
• pp.88-99
• /
• 1995

The demand for automatic manufacturing systems is increasing. Flexible Manufacturing System(FMS) is usually considered as a soluting for the shop floor automation. One of the difficulties in FMS is the communications problem. Since various machineries with different communications protocoles 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 difined 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 fonctions of the cell are defined to have more capabilities than conventional cells since a cell can be often a total manufacturing system is 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 communication. The software has been tested for a simulation and real experiments for proof.

• ETRI Journal
• /
• 제45권6호
• /
• pp.1090-1102
• /
• 2023

Authenticated multiple key agreement (AMKA) protocols provide participants with multiple session keys after one round of authentication. Many schemes use Diffie-Hellman or authenticated key agreement schemes that rely on hard integer factorizations that are vulnerable to quantum algorithms. Lattice cryptography provides quantum resistance to authenticated key agreement protocols, but the certificate always incurs excessive public key infrastructure management overhead. Thus, a lightweight lattice-based secure system is needed that removes this overhead. To answer this need, we provide a two-party lattice- and identity-based AMKA scheme based on bilateral short integer or computational bilateral inhomogeneous small integer solutions, and we provide a security proof based on the random oracle model. Compared with existing AMKA protocols, our new protocol has higher efficiency and stronger security.

• 한국중재학회지:중재연구
• /
• 제26권4호
• /
• pp.129-149
• /
• 2016

Medical dispute means the dispute between the hospital and the patient due to a medical accident. In general, medical accidents must be in accordance with the terms that are used in the medical dispute adjustment method stated in Article 2 (definition). In relation to this, there is a need to discuss an efficient operation scheme for Alternative Dispute Resolution (ADR) in medical disputes. In addition, it is necessary to look at issues of civil liability and criminal liability. In particular, in the consumer dispute arbitration committee, there is a case to make a "decision not to adjust" in aggressive intervention in the process of conflict resolution. The medical staff, on the basis of its "decision," can use this as a proven material for civil and criminal cases. This is rather upon the determination of the consumer council as a typical side effect to defend the user's perspective. This is the "decision" as was expressed from an order, "not adjusted." It is also determined to be easy and clearly timely. In the medical litigation, it is requesting the burden of proof of a patient's cause-and-effect relationship with the doctors committing negligence and medical malpractice. This seems to require the promotion of legislation in the direction to reduce future cases. It is determined that the burden of proof of medical accidents must be improved. The institution receiving the medical accident should prevent a closure report. Further, it is necessary to limit the transition to a franchise point. In this paper, we understand the problems of the current medical dispute resolution system, trying to establish a medical dispute resolution system desirable through an efficient alternative. In addition, it wants help in the protection and realization in medical consumers' and patients' rights. The relevant authorities will take advantage of these measures. After all, this could contribute to the system for a smooth resolution of a medical dispute.

• 한국정보통신학회논문지
• /
• 제9권4호
• /
• pp.816-823
• /
• 2005

비혼(non-Horn) 논리 프로그램은 혼(Horn) 논리 프로그램을 1계 술어 논리(1st order predicate logic) 수준으로 확장하였기 때문에 표현력은 크지만 효율적으로 구현된 사례가 없어서 실용적인 언어로 사용되지는 못하였다. 지금까지 연구된 효율적인 방법은 비혼 논리 프로그램을 증명절차 InH-Prolog의 의미를 이용하여 동등한 혼 논리 프로그램으로 변환한 후 변환된 혼 논리 프로그램을 WAM(Warren Abstract Machine) 명령어로 컴파일하여 수행시키는 방법이다. 본 논문에서는 이 방법을 향상시키기 위하여 비혼 논리 프로그램을 효율적으로 수행하는 EWAM(Extended WAM)과 비혼 논리 프로그램을 EWAM 명령어로 컴파일하는 방법을 제안한다. 또한 본 논문에서는 제안한 EWAM의 에뮬레이터 및 컴파일러를 구현하여 그 성능을 측정하였다. 본 논문에서 구현한 EWAM 에뮬레이터 및 컴파일러의 성능을 측정한 결과 기존 방법보다 매우 효율적임을 확인하였다.

• 정보보호학회논문지
• /
• 제12권1호
• /
• pp.33-42
• /
• 2002

본 논문에서는 약한 키를 가지는 대화식 영지식 증명을 이용한 인증 프로토콜의 안전성을 강화하는 방법을 제시한다. 일반적으로 대화식 영지식 증명을 이용한 인증 프로토콜은 충분히 길고 랜덤한 비밀키를 가정하고 그 비밀키에 대한 영지식 증명을 수행하게 된다. 하지만 때에 따라서 충분히 길지 않거나 랜덤하지 않은 비밀키가 선택될 수 있다. 즉, 좋지 않은 난수 발생기를 써야 하는 경우, 또는 패스워드처럼 의도적으로 약한 키를 사용하는 경우가 생기며, 대화식 영지식 증명은 이에 적합하지 않다고 알려져 있다. 본 논문에서는 비밀 동전 던지기(Secret Coin Tossing)라는 개념을 제시해서, 일반적인 영지식 증명을 이용한 인증 프로토콜을 약한 키를 가지는 영지식 증명 기반 인증 프로토콜로 쉽게 변환할 수 있는 프레임웍을 제안한다. 또한, 이 프레임웍을 이용해서 설계된 인증 프로토롤이 ideal cipher mode에서 안전함을 보인다.

• 한국정보통신학회논문지
• /
• 제25권11호
• /
• pp.1676-1686
• /
• 2021

본 논문에서는 모듈화, 추상화, 계층화 개념을 기반으로 블록체인 상호호환성을 제공하기 위한 크로스-체인 개념의 해결방안을 제안한다. 컨센서스 알고리즘과 특정한 응용 로직으부터 크로스-체인 기능을 분리하며, 크로스-체인운영의 타당성과 합법성을 보장하기 위해 머클 증명을 활용한다. 또한, 동종 블록 체인과 이종 블록 체인의 기본 구현이 다르기 때문에 크로스-체인에서는 이를 분리하여 다루기로 한다. 동종 블록 체인의 경우 TCP와 유사한 크로스-체인 전송 프로토콜(CCTV)을 제안한다. 이종 블록 체인의 경우 크로스-체인 기능을 실현하기 위해 릴레이 체인을 구성하는 방법을 제시한다. 제안된 방식은 크로스-체인 데이터의 정확하고 효과적이며 신뢰할 수 있고 질서 있고 시기 적절한 전송을 가능하게 할 수 있다.

• 화약ㆍ발파
• /
• 제40권4호
• /
• pp.1-14
• /
• 2022

화약류 간이저장소에 대한 현재의 규정이 적정한지를 검토할 목적으로 내부 폭발이 표준적인 저장소의 구조적 안정성에 미치는 영향을 FEM 해석과 현장 실험을 통해 분석하였다. 연구 결과, 에멀젼 계열 폭약 15 kg에 대한 기존 저장소 구조물의 방폭 성능이 충분하지 않은 것으로 나타났다. 따라서 여기에 대한 하나의 대안으로서 폭약을 분할하는 방법을 상정하고 순폭실험을 수행하였다. 실험을 수행한 결과, 폭약을 분할하는 방법이 예상대로 잘 작동하는 것을 확인하였으며, 시험 결과에 근거하여 적정한 분할 폭약량도 결정하였다. 또한, 저장소 구조물 상부를 개방하는 방법을 시험한 결과, 폭발압력이 신속하게 배출되어 구조물 손상이 크게 저감되는 것을 확인하였다. 이러한 구조물 형태는 화약류 간이저장소에 대한 새로운 설계기준으로 사용될 수 있을 것이다.