• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.24 no.3
• /
• pp.461-475
• /
• 2014

Homomorphic MAC is a cryptographic primitive which protects authenticity of data, while allowing homomorphic evaluation of such protected data. In this paper, we present a new homomorphic MAC, which is based on integers, relying only on the existence of secure PRFs, and having efficiency comparable to the practical Catalano-Fiore homomorphic MAC. Our scheme is unforgeable even when MAC verification queries are allowed to the adversary, and we achieve this by showing strong unforgeability of our scheme.

• Journal of Veterinary Clinics
• /
• v.15 no.1
• /
• pp.146-150
• /
• 1998

소 림프구내의 Theileria sergenti감염을 확인하기 위하여 T. sergenti감염혈액에서 림프구를 분리한 후 중합효소연쇄반웅을 실시하였다. 또한,분리한 림프구내의 T. sergenti감 염을 증명하기 위하여 IFA test와 acridine orange stain을 실시하였다. 그 결과 다음과 같은 성적을 얻을 수 있었다. T. sergenti 감염헐액의 전혈과 림프구를 각각 생리식염수로 2배율 연 속회석하여 중합효소연쇄반응을 실시한 결과, 림프구내에서는 1,024배 회석배율까지 T. sergenti의 genomic DNA가 중폭되었으며, 전혈내에서는 256배 회석배율까지 증폭되었다. 그리 고 중합효소연쇄반응으로 T. sergenti 감염이 확인된 림프구를 이용하여 IFA test와 acridine orange 염색을 실시한 결과, 림프구내에 T. sergenti가 존재하는 것을 증명할 수있었다. 한편, 중합효소연쇄반응을 이용한 림프구내의 T. sergenti 감염의 진단 유용성을 확인하기 위하여 전 북지역에서 사육중인 소 16두를 대상으로 이들의 혈액으로 PCR 증폭을 실시하였다. 그 결과 전혈에서 genomic DNA를 취한 경우에는 3두(18.8%)만이, 그리고 림프구에서 genomic DNA를 취한 경우에는 11두(68.8%)의 소에서 T. sergenti DNA의 증폭을 관찰할 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2023.11a
• /
• pp.807-808
• /
• 2023

공증이란 "공증인에 의한 공적인 증명"의 준말로서, 법무부 지방검찰청 소속의 "공증인"이 특정한 사실 및 법률관계의 존재를 공적으로 증명하는 행위를 말한다. 공증문서 위변조 방지를 위해 NFT 에 거래방지 기능이 추가된 SBT 를 이용하여 블록체인으로 문서를 관리해 무결성과 진본성을 보장하는 스마트 공증 플랫폼을 제안한다.

• Journal of Energy Engineering
• /
• v.29 no.3
• /
• pp.86-90
• /
• 2020

This paper examines a blockchain network-based transaction system using location proofing in power direct transactions between networked energy clouds, energy communities, and prosumer machines participating in smart cities. It utilizes location-based blockchain network technology, which enables long-distance travel with recharging by power purchases during autonomous movements, autonomous electric vehicles that can purchase and sell electricity, and solar street lights that can be produced and sold in fixed form. In addition, it is possible to provide optimum power transaction matching and settlement reliability between machines without human intervention in power transactions between electric chargers. It also introduces a business-to-object business model between autonomous machines that exist in multiple and different spaces and through energy clouds that are expected to be scattered with various transaction prices, policies, and incentives.

• Korean Journal of Logic
• /
• v.8 no.2
• /
• pp.3-32
• /
• 2005

Hilbert's rational ambition to establish consistency in Number theory and mathematics in general was frustrated by the fact that the statement itself claiming consistency is undecidable within its formal system by $G\ddot{o}del's$ second theorem. Hilbert's optimism that a mathematician should not say "Ignorabimus" ("We don't know") in any mathematical problem also collapses, due to the presence of a undecidable statement that is neither provable nor refutable. The failure of his program receives more shock, because his system excludes any ambiguity and is based on only mechanical operations concerning signs and strings of signs. Above all, $G\ddot{o}del's$ theorem demonstrates the limits of formalization. Now, the notion of provability in the dimension of syntax comes to have priority over that of semantic truth in mathematics. In spite of his failure, the notion of algorithm(mechanical processe) made a direct contribution to the emergence of programming languages. Consequently, we believe that his program is failure, but a great one.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.25 no.3
• /
• pp.547-557
• /
• 2015

The security of all cryptographic algorithms and protocols is based on the confidentiality of secret keys. Key management mechanism is an indispensable part of the cryptographic system and this deals with the generation, exchange, storage, use, and replacement of keys. Within the key management mechanism there are key derivation functions (KDFs) which derive one or more keys from a master key. NIST specifies three families of PRF-based KDFs in SP 800-108. In this paper, we examine the difference of security models between the KDFs and the encryption modes of operations. Moreover we focus on the provable security of PRF-based KDFs according to input types of counters, and show that the counter and feedback modes of KDFs using XOR of counters are insecure, while these modes using concatenation of counters are secure.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.6
• /
• pp.909-914
• /
• 2002

In this thesis, noise reduction of image with impulse noise in circle image removed noise to harness existing median filter for noise reduction from image data of damage by noise when impulse noise is high or noise reduction is low, but it is not made up of noise reduction to harness existing median filter in case of existence of non-impulse noise. Therefore noise reduction of image with non-impulse noise had to remove noise by morphological arithmetic in this thesis's proposition. In contrast to median filtering, result of edge detection is more efficient after remove non-impulse noise by method of thesis's proposition and it compare and demonstrate through this experimentation.

• 한국해양학회지
• /
• v.17 no.2
• /
• pp.59-68
• /
• 1982

Vertically homogeneous water was found around the convex coast of Jeju Island on its west side from hydrographic surveys conducted in June and Ictober 1980, and June 1981. This is the first time that this hydrographic structure is observed. Historical data do not show this water, since they wewe taken far from the island. The presence of this homogeneous water is explained in terms of tidal mexing for the lower half of the water column and relling for the upper half of the columa which conserve vorticity as currints flow clockwise around the island. Direct measurement in future is required to prove the upwelling mechanism.

• The Korean Society of Law and Medicine
• /
• v.24 no.4
• /
• pp.3-36
• /
• 2023

The main issue in medical malpractice civil litigation is medical negligence and the causal relationship between medical negligence and damages. Regarding the presumption of causality in cases where medical negligence is proven, there is a previous Supreme Court decision 93da52402 on February 10, 1995, but it is difficult to find a case that satisfies the textual requirements of the above decision, and yet, in practice, the above decision is cited. In many cases, causal relationships were assumed, and criticism was consistently raised that it was inconsistent with the text of the above judgment. In its ruling, the Supreme Court reorganized and presented a new legal principle regarding the presumption of causality when medical negligence is proven in a civil lawsuit. According to this, If the patient proves ① the existence of an act that is assessed as a medical negligence, that is, a violation of the duty of care required of an ordinary medical professional at the level of medical care practiced in the field of clinical medicine at the time of medical practice, and ② that the negligence is likely to cause damages to the patient, the burden of proving the causal relationship is alleviated by presuming a causal relationship between medical negligence and damage. Here, the probability of occurrence of damage does not need to be proven beyond doubt from a natural scientific or medical perspective, but if recognizing the causal relationship between the negligence and the damage does not comply with medical principles or if there is a vague possibility that the negligence will cause damage, causality cannot be considered proven. Meanwhile, even if a causal relationship between medical negligence and damage is presumed, the party that performed the medical treatment can overturn the presumption by proving that the patient's damage was not caused by medical negligence. Meanwhile, unlike civil cases, the standard is 'proof beyond reasonable doubt' in criminal cases, and the legal principle of presuming causality does not apply. Accordingly, in a criminal case of professional negligence manslaughter that was decided on the same day regarding the same medical accident, the case was overturned and remanded for not guilty due to lack of proof of a causal relationship between medical negligence and death. The above criminal ruling is a ruling that states that even if 'professional negligence' is recognized in a criminal case related to medical malpractice, the person should not be judged guilty if there is a lack of clear proof of 'causal relationship'.

• Proceedings of the KIPE Conference
• /
• 2011.11a
• /
• pp.259-260
• /
• 2011

디지털 제어기에 의해 동작하는 단방향 DC-DC컨버터는 불연속 전도모드 구간에서 입력전류 기준치와 평균입력전류사이에 오차가 존재하여 MPPT 추종이 부정확하고 MPPT 효율 역시 낮아진다. 따라서 본 논문은 전류제어를 하는데 전류오차율을 2%까지 최소화할 수 있는 전류게인 전향보상기법을 이용하여 DCM 구간에서도 98%이상의 MPPT효율로 MPPT 수행이 가능함을 실험으로 증명하였다.