• Korean Journal of Forensic Psychology
• /
• v.11 no.1
• /
• pp.21-36
• /
• 2020

In P300-based concealed information test (P300 CIT), it evaluates whether the P300 amplitude for the probe is significantly greater than that of the irrelevant to determine if the suspect is telling a lie. An independent sample t-test or a bootstrap method can be used as a statistical test to make that decision. Rosenfeld et al. (2004) used the bootstrap method, claiming that "t tests on single sweeps are too insensitive to use to compare mean probe and irrelevant P300s within individuals" and their method has been accepted to date. The purpose of the study is to evaluate whether the power of t-test is lower than that of the bootstrap method in the P300 CIT. The Monte Carlo study was conducted by using EEG collected from 39 participants. The results showed that the type I error rates of the t-test and the percentile bootstrap method were similar and the power of the percentile bootstrap method was slightly higher than that of the t-test. The type I error rates of the t-test and the percentile bootstrap method were slightly lower than the significance level and the powers of the two tests were also slightly lower than that of the theoretical t-test. On the other hand, the type I error rate and power of the standard error Bootstrap method were the same as those of the theoretical t-test and its power was .012 ~ .081 higher than that of t-test depending on experimental conditions.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.4
• /
• pp.617-635
• /
• 2021

Internet of Things (IoT) devices connected to the network without appropriate security solutions have become a serious security threat to ICT infrastructure. Moreover, due to the nature of IoT devices, it is difficult to apply currently existing security solutions. As a result, IoT devices have easily become targets for cyber attackers, and malware attacks on IoT devices are actually increasing every year. Even though several security solutions are being developed to protect IoT infrastructure, there is a great risk to apply unverified security solutions to real-world environments. Therefore, verification tools to verify the functionality and performance of the developed security solutions are also needed. Furthermore, just as security threats vary, there are several security solution s that defend against them, requiring suitable verification tools based on the characteristics of each security solution. In this paper, we propose an high-speed malware propagation tool that spreads malware at high speed in the IoT infrastructure. Also, we can verify the functionality of the security solution that detect and quickly block attacks spreading in IoT infrastructure by using the high-speed malware propagation tool.

• The Korean Journal of Financial Management
• /
• v.14 no.1
• /
• pp.23-50
• /
• 1997

Shiller(1981)와 LeRoy-Porter(1951)에 의하여 시작된 분산한계검증(分散限界檢證)(variance bounds test)에 관한 연구는 주식시장에서 초과변동성(超過變動性)(excess volatility)의 존재를 통하여 주식시장(株式市場)의 효율성(效率性)을 검증하는 새로운 연구분야로서 주목을 받아왔다. 그리고 이들의 연구방법론을 응용하여 많은 효율적(效率的) 시장가설(市場假說)의 검증에 대한 연구가 이루어져 왔다. 본(本) 연구(硏究)는 이러한 연구(硏究)의 한 범주로써 한국주식시장(韓國株式市場)에서 분산한계검증(分散限界檢證)을 통하여 약형효율성(弱形效率性) 시장가설(市場假說)을 검증(檢證)하고자 하였으며 이를 위하여 먼저 Shiller (1981)의 배당평가모형(配當評價模型)을 이용한 사후적(事後的)인 합리적(合理的) 주가(株價)인 $P_t{^*}$의 추정방법(推定方法) 대신에 이 배당평가모형(配當評價模型)을 변형하여 $P_t{^*}$를 추정(推定)하는 방법을 제시하였다. 그리고 이 $P_t{^*}$를 기초로 Shiller(1981)의 분산한계검증식(分散限界檢證式)을 변형한 분산한계검증(分散限界檢證)의 조건식(條件式)을 유도하고 이에 의해 실증적(實證的) 검증(檢證)을 하였다. 한편, 이러한 검증과정(檢證過程)에서 시계열자료(時系列資料)의 특성상 사전적(事前的)으로 필요로 하는 실제주가(實際株價), $P_t$와 사후적(事後的)인 합리적(合理的) 주가(株價), $P_t{^*}$에 대한 단위근검정(單位根檢定)(unit root test)을 실시하였다. 아울러 $P_t$와 $P_t{^*}$의 선형관계(線形關係)의 안정성을 검정하기 위하여 공적분검정(共積分檢定)(cointegration test)도 실시하였다. 검증결과(檢證結果), Shiller(1981)의 분산한계검증식(分散限界檢證式)을 변형하여 유도된 효율성조건(效率性條件)을 만족시키는 범위(範圍)에 벗어나 한국주식시장(韓國株式市場)에서 주식시장(株式市場)의 비효율성(非效率性)을 배제할 수 없는 것으로 나타났다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2023.11a
• /
• pp.137-139
• /
• 2023

선박에 사물인터넷 기술을 적용하여 선박의 현재 상태를 모니터링 할 수 있는 각종 M-IoT 기기(혠, 속도, 타각, 기울기 등)를 설치하고 중앙에서 관리할 수 있는 M-IoT S/W 플랫폼 적용 시 고려해야 하는 보안성 검증 기준을 개발하였다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.8 no.9
• /
• pp.217-224
• /
• 2019

Recently, sensor networks are built and used on many kinds of fields such as home, traffic, medical treatment and power grid. Sensing data manipulation on these fields could be a serious threat on property and safety. Thus, a proper way to block sensing data manipulation is necessary. In this paper, we propose IoT(Internet of Things) sensing data validation mechanism based on data obfuscation and variance analysis to remove manipulated sensing data effectively. IoT sensor device modulates sensing data with obfuscation function and sends it to a user. The user demodulates received data to use it. Fake data which are not modulated with proper obfuscation function show different variance aspect with valid data. Our proposed mechanism thus can detect fake data by analyzing data variance. Finally, we measured data validation time for performance analysis. As a result, block rate for false data was improved by up to 1.45 times compared with the existing technique and false alarm rate was 0.1~2.0%. In addition, the validation time on the low-power, low-performance IoT sensor device was measured. Compared to the RSA encryption method, which increased to 2.5969 seconds according to the increase of the data amount, the proposed method showed high validation efficiency as 0.0003 seconds.

• Journal of Internet Computing and Services
• /
• v.3 no.1
• /
• pp.51-59
• /
• 2002

The conventional procedure to verify rule bases are corresponding to the propositional logic-level knowledge representation. Building knowledge bases, in real applications, we utilize the predicate logic-level rules. In this paper, we present a verification algorithm of rule bases using Pr/T nets which represent the predicate logic-level rules naturally.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.117-119
• /
• 2022

M-IoT 기술 개발과정에서 최종 사용자 및 관련 전문가들의 지속적이고 협력적인 참여를 유도하기 위한 리빙랩 환경 조성을 목표로 한다. 이에 방법론으로써 '선내 IoT 센서 데이터 모니터링을 위한 인터넷 홈페이지 구축'을 제시하여 선내 통신 시스템(표면파 기술) 기술검증 환경 지원 및 M-IoT 기술 기반 홈페이지 구축 과정과 향후 운영방향을 제시하였다.

• Journal of Digital Convergence
• /
• v.19 no.4
• /
• pp.151-157
• /
• 2021

Recently, IoT technology has been applied to various cloud environments, requiring accurate verification of various information generated by IoT devices. However, due to the convergence of IoT technologies and 5G technologies, accurate analysis is required as IoT information processing is rapidly processed. This paper proposes a blockchain-based multi-IoT verification model for overlay cloud environments. The proposed model multi-processes IoT information by further classifying IoT information two layers (layer and layer) into bits' blockchain to minimize the bottleneck of overlay networks while ensuring the integrity of information sent and received from embedded IoT devices within local IoT groups. Furthermore, the proposed model allows the layer to contain the weight information, allowing IoT information to be easily processed by the server. In particular, transmission and reception information between IoT devices facilitates server access by distributing IoT information from bits into blockchain to minimize bottlenecks in overlay networks and then weighting IoT information.

• The Korean Journal of Financial Management
• /
• v.17 no.1
• /
• pp.67-89
• /
• 2000

반전거래전략의 투자성과와 체계적 위험의 관계를 분석한 결과를 요약하면 다음과 같다. 첫째, 시장모형과 Ibbotson(1975)의 RATS 모형을 이용하여 형성기간과 검증기간의 베타계수를 측정한 결과 체계적 위험의 변동가설에서 예견하는 것과 일치하는 결과를 발견할 수 있었다. 승자 포트폴리오의 베타계수는 검증기간에서 하락하는 한편 패자 포트폴리오와 차익 포트폴리오의 베타계수는 상승하는 것으로 나타났다. 둘째, RATS 모형을 이용하여 검증기간의 비정상수익률을 측정한 결과, 차익 포트폴리오의 경우 시장조정수익률 모형을 이용할 때의 월평균비정상수익률(1.32%)보다 작은 0.87%(t=3.153)이었다. 이러한 결과는 반대거래전략의 투자성과가 체계적 위험의 변화에 기인하는 증거로서 의미를 갖는다. 한편 형성기간과 검증기간에서 베타계수와 월평균비정상수익률의 변화를 분석한 결과 베타계수와 월평균비정상수익률이 동일 방향으로 변화하였던 것으로 나타났다. 셋째, 반전거래전략의 투자성과가 체계적 위험의 변화에 기인하는지를 검증하기 위하여 Chan (1988)의 모형을 이용하여 체계적 위험과 시장위험프리미엄의 관계를 분석한 결과, Chan(1988)이 주장한 것처럼, 패자 포트폴리오와 차익 포트폴리오의 경우 베타계수와 시장위험프리미엄 사이에 양(+)의 상관관계가, 그리고 승자 포트폴리오의 경우에는 음(-)의 상관관계가 존재하는 것으로 나타났다. 넷째, Chan(1988)이 주장한 것처럼, 체계적 위험과 시장위험프리미엄의 변화 관계가 시장상황에 따라 영향을 받는지를 검증하기 위하여 활황시장과 침체시장으로 분류하여 각 시장상황에 따라 베타계수를 추정하였다. 추정결과에 의하면, 패자 포트폴리오의 베타계수는 활황시장에서 1.0967(t=13.018), 침체시장에서 1.0883(t=15.310)을 보였으며, 승자 포트폴리오의 베타계수는 활황시장에서 0.9468(t=9.100), 침체시장에서 0.9086 (t=7.431)을 보였다. 다시 말하여 패자 포트폴리오의 베타계수는 시장상황에 따라 거의 차이를 보이지 않았지만, 승자 포트폴리오의 베타계수는 침체시장보다 활황시장에서 크게 나타남으로써 체계적 위험 변동가설과 일치하는 결과를 보였다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.26 no.5
• /
• pp.1211-1221
• /
• 2016

In IoT environment, making sure of trust of IoT devices is the most important one than others. The security threats of nowadays almost stay at exposure or tampering of information. However, if human life is strongly connected to the Internet by IoT devices, the security threats will probably target human directly. In case of devices, authentication is verified using the device-known private key. However, if attacker can modify the device physically, knowing the private key cannot be the evidence of trust any more. Thus, we need stronger verification method like code attestation. In this paper, we use software-based code attestation for efficiency. We also suggest secure code attestation method against copy of original code and implement it on embedded device and analyze its performance.