• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.07a
• /
• pp.153-154
• /
• 2022

본 논문에서는 블록체인 기반의 투명성/신뢰성을 제공하는 조작 불가능한 확률 제어 시스템을 제안한다. 해당 시스템은 클라이언트에 의해 질의 된 확률값을 블록체인상에서 산출해냄으로써, Legacy 시스템 아키텍처의 한계인 조작 가능성을 원천적으로 배제할 수 있다. 이는 블록체인 참여 노드 간의 데이터를 동일하게 공유하여 투명성을 확보하고, 이를 기반으로 데이터에 대한 신뢰성을 확보한 확률 제공 기능이다. 특히 해당 시스템은 Private/Permissioned 구조 기반의 블록체인 네트워크를 기반으로 운영 노드에 의해서 유지/관리되어 별도의 트랜잭션 수수료가 블록체인상에서 발생하지 않는다. 또한 Public Blockchain 메인 네트워크상의 미래 블록에 대한 정보를 확률값 산출 Seed에 활용함으로써, Non-deterministic 한 환경을 제공한다. 이는 클라이언트가 확률 질의에 대한 검증 과정을 직접 수행하거나 Third-party 검증을 통해 확률값에 대한 조작 여부를 확인할 수 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.674-678
• /
• 2005

수문학 분야에서 수문자료의 정확도를 높이는 문제는 오래전부터 고민해왔던 사항이다. 이와 관련하여 정부에서는 수문자료의 정확도를 높이고 전국의 수자원 정보를 파악하기 위하여 수문관측 매뉴얼을 작성하고 전국의 주요 지점에 수위관측소를 설치하여 유량측정을 하고 있다. 2004년에도 5대강 권역별로 유량측정이 실시되었으며, 이중 섬진강에서 유량측정이 실시된 6개 지점에 대해 올해 처음으로 도입되어 수행된 유량측정 검증시스템의 적용 결과에 따른 유량측정성과, 수위-유량관계곡선 및 유량자료의 개선된 결과를 소개하고자 한다. 유량측정 검증시스템은 유량측정성과의 기본특성 검토, 이상치 여부 판별 및 평가 등 유량측정성과의 검증, 개선된 방법론에 따른 수위-유량관계곡선의 작성 환산된 유량자료의 평가 및 평가 결과 개선이 필요한 경우 수위-유량관계곡선의 재작성하는 피드백 과정으로 이루어진다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.258-263
• /
• 2007

임베디드 시스템은 그 복잡도가 나날이 증가하고 있는데, 특히 기능성 외에 주어진 시간 제약 조건을 만족해야 한다는 점에서 개발 및 검증이 어렵다는 특징을 갖고 있다. 특히 검증에 대해서는 많은 경우에 적당한 시나리오들을 잡아 반복적인 시뮬레이션을 하는 방법을 사용하는데, 이 방법은 많은 시간이 걸리며, 적당한 시나리오들을 잡기 어렵다는 문제 또한 가지고 있다. 본 논문에서는 데이터플로우 모델과 유한상태기계 모델을 확장하여 시스템에 자원 사용 정보 및 시간 제약 조건을 명세하고, 이 모델들에 기반한 정적 시간 분석 방법을 제시하고 있다. 본 논문에서 제시한 방법을 통해 검증 시 자동으로 필요한 시나리오들에 대해 검증을 수행할 수 있으며, 시뮬레이션 등 긴 시간이 걸리는 검증 방법을 최소한으로 사용할 수 있다는 이점을 얻을 수 있다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.4B
• /
• pp.435-441
• /
• 2009

The one-time password system solves the problem concerning password reuse caused by the repeated utilization of an identical password. The password reuse problem occurs due to the cyclic repetition at the time of password creation, and authentication failure can occur due to time deviation or non-synchronization of the number of authentication. In this study, the password is created asynchronously and exchanged with the user, who then signs using a digital signature in exchange for the password and a valid verification is requested along with the certificate to ensure non-repudiation. Besides this, a verification system for one-time password is proposed and designed to improve security by utilizing the validity verification that is divided into certificate verification and password verification. Comparative analysis shows that the mechanism proposed in this study is better than the existing methods in terms of replay attack, non-repudiation and synchronization failure.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.188-188
• /
• 2021

APEX(Agricultural Policy Enviromental eXtender) 모형은 일 단위로 구동되며 필지단위 및 소유역 단위에서의 흐름을 장기 모의를 할 수 있는 모형이다. APEX는 유출을 포함한 토양 침식, 탄소 이동 등 다양한 자연현상을 모의할 수 있는 모형이다. 강우에 의한 직접유출량을 APEX를 이용하여 산정할 수 있지만, 모델링 과정에서 발생하는 불확실성으로 인하여 부정적인 요인이 발생한다. 따라서 본 연구에서는 APEX 모형의 유출 매개변수를 이용한 불확실성을 평가하고자 한다. 이를 위해서 금강권역에서 표준유역으로 분류되어있는 한천 유역에 대해 2008~2019년도 유출량을 모의하였으며, 검증을 위해 동일기간에 대해 기저유출분리를 수행하였다. 불확실성 평가를 위해서 Python 기반으로 사전분포로부터 매개변수를 임의로 선택하도록 설정하여 총 10,000번의 구동을 수행하였다. 불확실성 평가지표로는 NSE, PBIAS, RSR을 이용하여 평가하여 평가지표별 불확실성 구간을 비교분석 하였다. 본 연구에서의 APEX 모형의 불확실성 평가를 통하여 APEX의 활용성을 더욱 확대하고 신뢰성을 높일 것으로 기대한다.

• Annual Conference of KIPS
• /
• 2013.11a
• /
• pp.804-807
• /
• 2013

최근 클라우드 컴퓨팅에 대한 관심이 고조됨에 따라, 이를 활용한 데이터베이스 아웃소싱(Outsourcing)에 대한 연구가 활발히 진행되고 있다. 그러나 아웃소싱 된 데이터베이스는 사용자 개인 정보, 증권, 또는 의료 정보 등 민감한 정보를 포함하기 때문에 서비스 제공자로부터 수행한 질의 결과 데이터가 데이터 소유자로부터 생성된 데이터이며, 정확한 질의 결과를 포함하는지 확인하기 위한 질의 결과 무결성 검증 기법의 필요성이 대두되었다. 기존 질의 결과 무결성 검증 기법은 질의 결과에 포함되는 무결성 검증 데이터의 크기가 증가하여 검증 데이터 전송 오버헤드 증가 및 데이터 노출 위험 증가 문제를 지닌다. 따라서, 본 논문에서는 데이터 보호를 지원하는 암호화 데이터 기반 질의 결과 무결성 검증 기법을 제안한다. 제안하는 질의 결과 무결성 검증 기법은 암호화된 데이터 그룹을 주기 함수를 이용하여 재분할하고, 최종 데이터 그룹 id를 힐버트 커브를 통해 변환한다. 따라서, 검증 데이터 오버헤드를 감소시켜 효율적인 질의 처리를 지원하며, 그룹 id 변경을 통해 검증 데이터 유출 위험을 방지한다. 성능평가를 통해, 제안하는 기법이 기존 기법에 비해 질의 처리 시간 측면에서 평균 2배, 검증 데이터 오버헤드 측면에서 최대 20배의 성능을 개선함을 보인다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.6
• /
• pp.55-65
• /
• 2003

To perform the certificate validation processing on the user-side application induces the very considerable overhead because of the complex and time-consuming characteristic of the validation processing. Especially, the verification for digital signature over a certificate can be the major reason of the overhead, since the verification accompanies with the cryptographic calculation over each certificate on the certificate path. In this paper, we propose a new certificate validation scheme can reduce the overhead caused by user-side certificate validation processing and improve the utilization of CAs. As the result, our proposed scheme can not only reduces the overhead for the validation processing by decreasing the cryptographic calculation but also improves the utilization of CAs by employing them to the validation processing.

• Journal of IKEEE
• /
• v.19 no.3
• /
• pp.431-439
• /
• 2015

This paper introduces analysis technique and test procedure for verifying the reliability of the multi-function radar software. Also the process of software development and reliability test method for reducing the development period are described. Test results show that the verified software has reduced errors and improved reliability compared to the unverified software.

• Therapeutic Science for Rehabilitation
• /
• v.8 no.3
• /
• pp.43-55
• /
• 2019

Objective: The purpose of this study is to conduct a preliminary research for the development of a Performance-Based Cognitive Function Test (PCFT) to screen the elderly for cognitive function impairment, and examine the reliability and validity of the test. Methods: A draft version of the Performance-Based Cognitive Function Test (PCFT) was developed and utilized in nine healthy elderly individuals. In order to verify its reliability, we analyzed the internal consistency of the PCFT. In order to verify the concurrent validity of the PCFT, this study analyzed the correlation between motor-cognitive dual task assessments and the Korean version of the Mini-Mental State Examination (MMSE-K). Results: The internal consistency of the PCFT for motor and cognitive tasks was 0.871 and 0.959 (Cronbach's ${\alpha}$), respectively. Concurrent validity of the PCFT, which was performed through motor-cognitive dual task assessments, ranged from 0.755 to 0.964 (Spearman's rho statistic, p < 0.05). In addition, correlation between the cognitive assessment tool and the MMSE-K ranged from 0.849 to 0.943 (p < 0.01). Conclusion: This study verified, and established the reliability and validity of the PCFT. Further studies are required to examine other psychometric properties in a modified PCFT, for screening cognitive function impairments in the elderly.

• Journal of the Korea Convergence Society
• /
• v.12 no.5
• /
• pp.85-91
• /
• 2021

This study is a methodological study that explains the procedure for verifying effectiveness in developing practical guidelines for cognitive programs suitable for dementia patients. Based on the development of evidence-based new clinical practice guidelines, a preliminary recommendation for the domestic dementia patient care guidelines was developed. The practical guidelines consisted of the final four types, and the content validity score of the configuration items was 0.87 to 1 point. In the sub-categories of field applicability, appropriateness score was 3.95 to 4.34 points, applicability score was 3.57 to 4.27 points, and predicted effect score was 3.84 to 4.22 points. Through the examination of the content validity and field applicability of experts, it was confirmed that the practical guidelines developed in this study can be used as the basis for establishing an intervention plan for dementia cognitive program managers engaged in clinical practice. In future studies should further facilitate the development of evidence-based treatment guidelines to select appropriate treatment activities for dementia patients.