• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 1995.11a
• /
• pp.126-137
• /
• 1995

VDM-SL(Vienna Development Method - Specification Language)은 다양한 표준들의 정확한 기술을 위해 제시되고 있는 형식규격어의 하나로서 특히 보안표준의 표현에 적합한 형식규격어이다. 이러한 VDM-SL을 사용하여 보안표준의 표현 및 실행코드 생성의 정확성과 편리성을 제공하기 위한 다양한 도구들이 개발되고 있으며 이들 중 IFAD VDM-SL Toolbox는 가장 많은 기능을 구진 도구이다. 본 논문에서는 IFAD WDM-SL Toolbox를 이용해 해쉬알고리즘의 하나인 MD4 Message Digest Algorithm을 형식적 표현기법으로 나타내고 이를 바탕으로 참조구현 코드를 C++로 생성하는 방법을 설명한다. 또한 형식적 표현기법과 IFAD VDM-SL Toolbox를 이용해 생성된 참조구현코드의 실행 결과를 MD4의 테스트 벡터 (test vector)를 이용하여 RSA사에서 구현한 MD4 알고리즘과 비교 분석하여 형식적 표현기법을 이용하여 생성된 코드의 활용성에 대해 설명하고자 한다.

• Convergence Security Journal
• /
• v.2 no.1
• /
• pp.35-47
• /
• 2002

In this paper, we will provide an overview of the motion picture watermarking techniques. We will see previously proposed algorithms such as compressed domain watermarking, non-compressed domain watermarking and algorithms for realtime applications etc. We will see test results for signature embedding in motion picture. By spread spectrum method, we embed a signature in each frames. The quality of watermarked motion picture is measured by PSNR(peak signal to noise ratio) about several strengths of watermark. In watermark detection the sign of the correlation sum is the estimated embedded signature bits. We will see different mean PSNR with visual shape of the detected signature.

• Korean Journal of Human Ecology
• /
• v.6 no.2
• /
• pp.13-25
• /
• 2003

The purpose of this study was to clarify the relationship between life style and housing satisfaction of high school students. This is the investigation of which 1015 high school students live in Chonbuk province. In this statistical analysis, SPSS program was utilized to calculate percentage, mean and standard deviation. Also. these materials were verified by t-test, one-way ANOVA, Pearson's correlation coefficient. The main results of this study were as follows. There was a significant difference between life style and housing satisfaction, according to demographic variables and housing characteristic variables. The entire life style has been appeared high type of a along with PC. Most of students has been appeared high in health and security of housing. Also, correlation of life style and housing satisfaction showed significantly. On the basic of these results, it can be suggested : It is necessary to have the righteous understanding about life style and housing satisfaction, of high school students for advisable guidance of housing education. It needed to continue diversified researches considering spread of life style 'with PC' and enough awareness of health and security in housing satisfaction.

• Journal of Industrial Convergence
• /
• v.1 no.2
• /
• pp.107-124
• /
• 2003

With rapid growth and competition of electronic commerce through internet, various buying types and business models are being appeared. In this paper, we studied group buying which is new business model to consumer and factors affecting on trust and participation of group buying. The followings are the regression result of this study. First, familiarity factor, customer service factor, seal of security and product value factor made a significant effect on trust. Second, familiarity factor, perceived reputation factor, customer service factor, seal of security and product value factor made a significant effect on participation of group buying. Third, trust of group buying made a significant effect on participation of group buying. In this study, modeling and empirical test were implemented about structure of trust and participation of group buying. We can know where our group buying strategies should focus and which factor we should improve.

• Korea Journal of Hospital Management
• /
• v.24 no.2
• /
• pp.56-66
• /
• 2019

PURPOSE: To demonstrate that the training of information protection for members at medical institutions increases the information protection activities of employees. METHODS: We used the chi-square test and the logistic regression model to analyze the data of the "Healthcare Information and Communication Status Survey in 2017" (n = 2002) conducted by the Korea Health Industry Development Institute RESULTS: As a result of the analysis, the information protection activity increased when the education was received and the number of received more than the education was not received. Especially, when the management receives education, it affects the information protection activities of the employees. CONCLUSION: In order to protect medical information, medical institutions need to provide education on information protection for management and employees.

• International Journal of Computer Science & Network Security
• /
• v.21 no.2
• /
• pp.9-13
• /
• 2021

Type 2 diabetes mellitus (T2D) is a complex diabetes disease that is caused by high blood sugar, insulin resistance, and a relative lack of insulin. Many studies are trying to predict variant genes that causes this disease by using a sample disease model. In this paper we predict diabetic and normal persons by using fisher score feature selection, chi-2 feature selection and Logistic Regression supervised learning algorithm with best accuracy of 90.23%.

• International Journal of Computer Science & Network Security
• /
• v.21 no.5
• /
• pp.231-236
• /
• 2021

The purpose and hypothesis of the article was the need to solve the following research tasks: Analysis of psychological and pedagogical literature on the research problem. To identify and experimentally test the effectiveness of organizational and pedagogical conditions affecting the creative self-development of a distance learning student. Research methods: analysis of philosophical and psychological-pedagogical literature on the problem under study; pedagogical experiment; modeling, questioning, testing, analysis of the products of students' creative activity (essays, creative works, creative projects) and the implementation of educational tasks, conversations, observations.

• International Journal of Computer Science & Network Security
• /
• v.21 no.2
• /
• pp.188-192
• /
• 2021

In this paper, we apply data mining techniques and machine learning algorithms using R software, which is used to predict, here we applied a regression model to test some factor on the dataset for which we assumed that it effects student performance. Model was built on an existing dataset which contains many factors and the final grades. The factors tested are the attention to higher education, absences, study time, parent's education level, parent's jobs, and the number of failures in the past. The result shows that only study time and absences can affect the students' performance. Prediction of student academic performance helps instructors develop a good understanding of how well or how poorly the students in their classes will perform, so instructors can take proactive measures to improve student learning. This paper also focuses on how the prediction algorithm can be used to identify the most important attributes in a student's data.

• International Journal of Computer Science & Network Security
• /
• v.21 no.4
• /
• pp.223-228
• /
• 2021

As a consequence of sudden outbreak of COVID-19 pandemic worldwide, educational institutes around the globe are forced to switch from traditional learning systems to e-learning systems. This has led to a variety of technology-driven pedagogies in e-teaching as well as e-learning. In order to take the best advantage, an appropriate understanding of the cognitive capability is of prime importance. This paper presents an intelligent cognitive maturity recognition system for confidence-based e-learning. We gather the data from actual test environment by involving a number of students and academicians to act as experts. Then a Genetic Programming based simulation and modeling is applied to generate a generalized classifier in the form of a mathematical expression. The simulation is derived towards an optimal space by carefully designed fitness function and assigning a range to each of the class labels. Experimental results validate that the proposed method yields comparative and superior results which makes it feasible to be used in real world scenarios.

• International Journal of Computer Science & Network Security
• /
• v.21 no.4
• /
• pp.277-283
• /
• 2021

The objective of this project is to conduct an underwater survey. The primary goal is to develop a device that can achieve the desired output under test conditions. For this reason, certain practical considerations must be taken into account, and the implementation is then developed to be carried out to obtain stable performance with the available hardware based on that experiment. The experiment was performed via BlueROV2 (Remotely Operated Vehicle) using RaspberryPi and softwares such as QGC (QGroundControl) and ArduPilot. This paper explains the work, the results with the collected data and how we implemented the work is presented in the end. The intention of this experiment is to connect two PCs using RaspberryPi with MAVLink communication using a Commercial-Off-The-Shelf device.