• The KIPS Transactions:PartC
• /
• v.11C no.5
• /
• pp.569-576
• /
• 2004

Conventional researches of standard tool validating public key cryptographic algorithm have been studied for the internet environment, not for the mobile internet. It is important to develop the validation tool for establishment of interoperability and convenience of users in mobile internet. Therefore, this paper presents the validation tool of Elliptic Curie Cryptography algorithm that can test if following X9.62 technology standard specification. The validation tool can be applied all information securities using ECDSA, ECKCDSA, ECDH, etc. Moreover, we can en-hace the precision of validation through several experiments and perform the validation tool in the online environment.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.4
• /
• pp.242-250
• /
• 2014

Conventional researches of standard tool validating cryptographic algorithm have been studied for the internet environment, for the mobile internet. It is important to develop the validation tool for establishment of interoperability and convenience of users in the information systems. Therefore, this paper presents the validation tool of Elliptic Curve Cryptography algorithm that can test if following X9.62 technology standard specification. The validation tool can be applied all information securities using DES, SEED, AES, SHA-1/256/384/512, RSA-OAEP V2.0, V2.1, ECDSA, ECKCDSA, ECDH, etc. Moreover, we can enhance the precision of validation through several experiments and perform the validation tool in the online environment.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.2
• /
• pp.45-58
• /
• 2001

There are relatively many research results of the validation of the cryptography. But few researches on the validation of cryptography implementations were accomplished. However, developer\`s misunderstanding the crypto-algorithm or a mistake in implementation of the crypto-a1gorithm leads to lose reliability of security products. Therefore, as validation of the crypto-algorithm itself also validation of the implementation is important. The major objective of this paper is to propose Security Products Validation Tool. Our tool validates implementation of the public key algorithm (RSA. KCDSA) and hash algorithm (SHA-1, HAS-170). The validation process is composed of several items and our tool performs validation teats for conformance to related standard.

• Journal of Platform Technology
• /
• v.10 no.4
• /
• pp.11-24
• /
• 2022

The tool for developing airborne software requires the same level of safety as airborne software because the tool whose output is part of the airborne software and thus could insert an error into the airborne software. This paper describes how to ensure the reliability of the tool output that becomes a part of the airborne software by validating of the input and output files of the tool when generating the ARINC 661 standard UA definition file and the CDS configuration file through the A661UAGEN tool of Hanwha Systems. We present the method to validate XML data structure and contents with an XML schema definition, which is an input of the A661UAGEN tool. And the method to validate the output binary data by using mask data for the corresponding data structure and valid value, which is the output of the A661UAGEN tool, was presented. As such, validation of the input and output of the tool improves the reliability of binary DFs and CDs integrated into the airborne software, allowing airborne software developers to utilize the tool to ensure safety in developing the OFP.

• Journal of Korean Academy of Fundamentals of Nursing
• /
• v.1 no.2
• /
• pp.207-218
• /
• 1994

A validation of the nursing diagnosis 'fluid volume deficit' was completed by using the diagnostic content validity method. Articles pertaining to fluid volume depletion were reviewed to identify the signs and symptoms used to describe the nursing diagnosis. The topics addressed in the articles included hypovolemic shock, hemorrhage, trauma, fluid balance, hydration, burn injury, thirst, dehydration. A validation instruments was constructed of 52 signs and symptoms. A validation tool was examined by expert nurses group who work on intensive care unit, kidney transplantation unit, internal medicine and general surgery unit. The study sample rated the signs and symptoms on a scale from one to five, evaluating their relevance to this diagnosis. Of the 52 signs and symptoms on the validation tool, 10 were categorized as critical indicators and 34 were categorized as defining characteristics.

• Journal of Hydrospace Technology
• /
• v.2 no.1
• /
• pp.55-64
• /
• 1996

Herein a review is made on the validation problem of numerical codes applied to floating offshore structures. Since the dynamic behaviour of offshore floating structures in water waves is in general complex and nonlinear, a numerical approach seems to be promising. However, numerical codes are likely involved with uncertainties and they at the present status show apparent scatterness in typical bechmark tests, particularly in second-order wave forces. Convergence test is the minimum requirement for the validation of numerical codes. Some other practical check points are introduced to clarify the potential error sources. It is concluded that a standard procedure for validation must be urgently established sothat numerical methods can safely be used as a rational design tool.

• Korean Journal of Childcare and Education
• /
• v.20 no.2
• /
• pp.105-126
• /
• 2024

Objective: The study aimed to develop and validate a tool for assessing daycare center organizational competence and for autonomously managing childcare quality. Methods: Through literature review and expert reviews, items were derived and validated using the Content Validity Index. Data from a survey involving 216 directors and 509 teachers were analyzed using SPSS and AMOS to assess reliability and conduct confirmatory factor analysis. Results: Results revealed a 36-item diagnostic tool across four subcategories: shared values (6 items), training abilities (18 items), environmental support (6 items), and organizational promotion (6 items). A diagnostic tool named S.T.E.P+ was developed, named after the first letters of the four subfactors. Skewness and kurtosis were within normality assumptions. Good fit indices (CFI, TLI) and low SRMR and RMSEA values indicated a satisfactory model fit. Cronbach's α values showed high reliability for all factors. The tool enables autonomous diagnosis of childcare quality. Conclusion/Implications: This tool can effectively autonomously diagnose whether a daycare center is providing quality childcare.

• Nuclear Engineering and Technology
• /
• v.53 no.7
• /
• pp.2151-2161
• /
• 2021

Nuclear data (ND) sensitivity and uncertainty (S/U) quantification in shielding applications is performed using deterministic and probabilistic approaches. In this paper the validation of the newly developed deterministic program package ASUSD (ADVANTG + SUSD3D) is presented. ASUSD was developed with the aim of automating the process of ND S/U while retaining the computational efficiency of the deterministic approach to ND S/U analysis. The paper includes a detailed description of each of the programs contained within ASUSD, the computational workflow and validation results. ASUSD was validated on two shielding benchmark experiments from the Shielding Integral Benchmark Archive and Database (SINBAD) - the fission relevant ASPIS Iron 88 experiment and the fusion relevant Frascati Neutron Generator (FNG) Helium Cooled Pebble Bed (HCPB) Test Blanket Module (TBM) mock-up experiment. The validation process was performed in two stages. Firstly, the Denovo discrete ordinates transport solver was validated as a standalone solver. Secondly, the ASUSD program package as a whole was validated as a ND S/U analysis tool. Both stages of the validation process yielded excellent results, with a maximum difference of 17% in final uncertainties due to ND between ASUSD and the stochastic ND S/U approach. Based on these results, ASUSD has proven to be a user friendly and computationally efficient tool for deterministic ND S/U analysis of shielding geometries.

• Korean Journal of Digital Imaging in Medicine
• /
• v.13 no.1
• /
• pp.33-38
• /
• 2011

Now a days, there's many change over for PACS among the most of hospital and it standard for DICOM 3.0. These kind of using of DICOM 3.0 improves increasing of medical imaging exchange and service for patient. However, there's some problems of compatibility caused during carry out CD and DVD from hospital. For this reason, this thesis analyzed patients image targeting those storages requested to hospitals in Seoul by using Validation Toolkit which is recommended from KFDA. The analyze type is like this. Make 100 data, total 500, each of MRI CT Plain x-ray Ultrasound PET-CT images and analyzed type of error occurred and loyalty of information. If express percentage of error occurred statistically, we can get a result as follows MRI 5%, Plain x-ray 11%, CT 18%, US 25%, PET-CT 30%. The reson why percentage of error occurred in PET-CT is because of imperfective support and we could notice that we weren't devoted to information. Even though, PET-CT showed highest percentage of error occurred, currently DICOM data improved a lot compare to past. Moreover, it should be devoted to rule of IHE TOOL or DICOM. In conclusion, we can help radiographer to analyze information of image by providing clues for solving primary problem and further more, each of PACS company or equipment company can enhance fidelity for following standard of image information through realizing the actual problem during transfer of image information.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.65 no.4
• /
• pp.242-249
• /
• 2016

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.