• Annual Conference of KIPS
• /
• 2003.11c
• /
• pp.1949-1952
• /
• 2003

실생황에서 권한의 위임을 동한 대리 서명 기법들이 최근 많이 연구되고 있다. 대리서명은 원서명자가 그의 서명 권한을 대리서명자에게 위임하여 대리서명자가 원서명자를 대신해서 서명을 생성하는 것을 말한다. 이러한 대리서명을 온라인 상에서 사용하기 위해서는 위임자의 권한 위임장이 위 변조와 오남용의 위험으로부터 안전하게 보호되어야 한다. 또한 대리서명의 수행을 위해서는 원서명자의 위임에 대한 정보가 명확해야 한다. 대리서명의 기본적인 방법은 원서명자가 위임 정보에 대한 서명을 생성하고 이를 위임자에게 전달하여 위임자가 위임키로서 사용하게 하는 것이다. 위임키쌍이 위임 정보에 기반한 원서명자의 서명으로부터 생성되기 때문에 어떠한 검증절차에서도 원서명자의 동의를 확인 할 수 있다. 본 논문에서는 원서명자와 대리서명자가 기존의 인증서를 발급 받은 환경에서 원서명자가 대리서명자에 대하여 검증자에게 위임정보를 등록하는 프로토콜을 제안한다. 위임내용에 대해 원서명자가 전자서명을 하고 검증자는 이에 해당하는 내용을 검증한 후 위임서명자에 대한 권한 기간 등의 제약사항을 설정한다. 이후 위임서명자는 위임내용에 대해 고지를 받고 허가된 범위 내에서 위임 서명을 한다. 마지막으로 본 논문에서는 기존의 방법들과 비교 분석하여 제안하는 위임 등륵 프로토콜에 대한 효율성을 제시한다.

• Annual Conference of KIPS
• /
• 2003.11c
• /
• pp.1989-1992
• /
• 2003

공개키 기반의 인증서 상태 검증 시스템은 사용자 인증서에 대해 전자 서명을 수행함으로써 사용자 중요 정보의 대한 무결성, 인증, 부인방지, 기밀성 등을 보장해 준다. 이와 같은 인증서 상태 검증 서비스를 제공하기 위해 인증서 상태 검증 시스템은 하루에 한번씩 인증기관(CA)으로부터 디렉토리 서버에 개시된 인증서 폐지 목록을 다운 받아야한다. 하지만 현재 사용되고 있는 인증서 폐지 목록 배포 시스템은 특정시간에 다수의 인증서 상태 검증 서버가 디렉토리 서버에 접속해 인증서 폐지 목록을 다운 받아야 하기 때문에 네트워크에 대한 과부하로 인한 인증서 폐지 목록 다운로드 시간이 많이 소요된다는 단점과 디렉토리 서버의 처리량의 초과로 인한 서버가 다운될 수 있는 문제가 발생할 수 있다. 따라서 본 논문에서는 기존의 인증서 폐지 목록 배포 방식에 대한 분석과 더불어 위와 같은 문제를 해결하기 위한 Peer-to-Peer 서비스를 이용한 효율적인 인증서 폐지 목록 배포 시스템을 제안 하고자 한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.5-5
• /
• 2018

최근 기후변화로 인하여 이상기후 및 지구온난화 현상의 발생이 증가하고 있다. 2014년 한국 기후변화 평가보고서에 따르면 강우량은 1971~2000년 1,315mm에서 2001~2010년 1,412mm으로 7.4% 증가하였으며, 호우일수는 1971~2000년 20일에서 2001~2010년 28일로 8일이 증가하였다. 이러한 강우량의 증가 및 호우일수의 증가로 도심지의 침수피해는 지속적으로 발생하고 있지만 도시특성을 반영한 예 경보 체계의 부재로 그 피해는 가중되고 있다. 국립재난안전연구원에서는 2014년부터 도심지 침수피해를 예방하기 위해 한계강우량 및 도시침수 경보기준 개발 연구를 수행하고 있다. 도시침수 경보기준은 도시침수를 발생시키는 최소 강우량을 의미하는 한계강우량 개념을 도입하여 국가재난관리시스템(NDMS, National Disaster Management System)의 과거 피해이력과 강우량과의 분석을 통해 산정하였다. 2017년 까지 27개 시군구 470여개 읍면동의 경보기준을 산정하였으며, 적용성 평가를 위해 실제 피해가 발생한 지역의 CCTV자료를 수집하여 한계강우량을 추정하고 경보기준 검증을 실시하였다. CCTV를 활용한 경보기준의 검증은 영상자료 확보의 어려움과 침수시간 및 정확한 침수심의 변화를 확인하는데는 한계가 있다. 따라서 본 연구에서는 지표침수 및 우수관 수위관측 시설을 구축하여 도시침수 발생 양상을 모니터링 하고 경보기준을 검증하고자 한다. 또한 구축된 모니터링 시설은 향후 실측 기반의 예 경보체계구축을 위한 기초자료로 활용할 수 있을 것이다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.5
• /
• pp.115-121
• /
• 2023

RISC-V is an open-source instruction set architecture, and anyone can freely design and implement a RISC-V microprocessor. This paper designes and simulates the RISC-V architecture, synthesizing it in FPGA and verifying it using logic analyzer (ILA). RISC-V core is written in SystemVerilog, which has efficient design and high reusability, and can be used in various application fields. The RISC-V core is implemented as hardware by synthesizing it on the Ultra96-V2 FPGA board using Vivado, and the accuracy and operation of the design are verified through Integrated Logic Analyzer(ILA). As a result of the experiment, it is confirmed that the designed RISC-V core performs the expected operation, and these results can contribute to the design and verification of RISC-V based systems.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.11
• /
• pp.998-1005
• /
• 2017

In this paper, we first introduce a systematic verification procedure for hierarchically structured avionics system. By making use of equipment models, it can perform individual verifications of each subsystem, integrated verifications of multiple subsystems, and an integrated verification of a whole system. A multi-mode system integration laboratory is then proposed to make it possible to execute various individual or integrated verification tests at the same time. By mathematically proving that the proposed multi-mode system integration laboratory needs less verification time than the conventional verification methodology, it is expected to enhance the efficiency of the systematic verification procedure and as a result, reduce the overall verification period and costs.

• The KIPS Transactions:PartD
• /
• v.13D no.5 s.108
• /
• pp.731-740
• /
• 2006

WIPI is developed by KWISF(Korea Wireless Internet Standardization Forum) and a wireless internet standard platform adopted by TTA. It needs the certification Process for standard specification in order to confirm interoperability. The WIPI is composed of the HAL, the Runtime Engine, and APIs(WIPI-C, WIPI-Java). nl applications are implemented through WIPI APIs that can be finished by themselves or provided essential functions from runtime engine or HAL. Therefore it needs to certify where the problems occur when errors occurred in a application. In this paper we propose the PCT that certifies a WIPI platform's functionality and APIs and the HCT that certifies HAL APIs. Because the PCT reports the final certification results for the platform it is impossible to know where the problems occur when it fails to certify platform. So, it needs to certify the HAL regardless of platform certification.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.36 no.6
• /
• pp.1145-1152
• /
• 2016

A construction post evaluation is introduced to provide information that can be used for similar construction projects in the future through the evaluation of the efficiency of a public construction project and the verification of the appropriateness of the project results. However, it is not widely used due to a lack of awareness of the method. For this reason, the aim of this study is to provide a basic frame that can be utilized as a reference for a similar project in the future based on the construction post evaluation. More specifically, a more effective analysis method for the construction post evaluation is proposed and then an exemplary analysis is performed based on the method. The paper analyzes 293 cases stored in construction CALS. Construction cost growth rates of railway projects are tend to be greater than other project types like highway, expressway, and harbour. Then, construction schedule grwoth rates of expressway are greater than others. This is expected to provide useful information for a future project, and serve as a basic frame. Moreover, it is also meaningful that a project can be analyzed from different perspectives through the construction post evaluation.

• Journal of The Korean Association For Science Education
• /
• v.23 no.1
• /
• pp.75-85
• /
• 2003

We have developed of a criterion that would help to select and develop performance assessments in science education. There are six categories of a criterion: Fidelity, satisfaction, content validity, fairness & suitability, reliability & objectivity, and usability. There are the total of 25 sub-categories under the six categories. Five science educators evaluated the validity of the criterion. For reliability of the criterion, Kendall's tau-b was used. Eight science educators and elementary teachers evaluated three performance assessment tasks for the correspondence of the criterion. This study also discuss the implications of this criterion as well.

• Journal of the Korean Society for Railway
• /
• v.12 no.5
• /
• pp.744-750
• /
• 2009

According to the result of related studies, the degradation of human performance has been revealed as one of the most significant causes resulting in the safety of any human-involved system. This means that preventing the occurrence of accidents/incidents through avoiding the degradation of human performance is prerequisite for their successive operation. To this end, it is necessary to develop a plausible tool to evaluate the complexity of a task, which has been known as one of the decisive factors affecting the human performance. For this reason, in this paper, the complexity of tasks to be conducted by KTX drivers was quantified by TACOM measure that is enable to quantify the complexity of proceduralized tasks being used in nuclear power plants. After that, TACOM scores about the tasks of KTX drivers were compared with NASA-TLX scores that are responsible for the level of a subjective workload to be felt by KTX drivers.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.525-527
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.