• The Science & Technology
• /
• v.5 no.9 s.40
• /
• pp.20-22
• /
• 1972

• Electric Engineers Magazine
• /
• v.179 no.7
• /
• pp.12-17
• /
• 1997

• Environmental engineer
• /
• v.22 s.221
• /
• pp.54-62
• /
• 2005

• Electric Engineers Magazine
• /
• s.131
• /
• pp.64-65
• /
• 1993

• Standardization Trend in Telecommunications
• /
• s.24
• /
• pp.204-223
• /
• 1992

• Review of KIISC
• /
• v.13 no.4
• /
• pp.60-67
• /
• 2003

능동형 Secure OS 시스템은 운영체제 커널에 접근 제어, 사용자 인증, 감사 추적, 암호화 파일 시스템, 신뢰 채널, 동적 구성 등의 보안 기능을 추가 구현하여 시스템에 발생 가능한 해킹을 방지하고 차단하는 시스템을 말한다. 이러한 능동형 Secure OS 시스템은 시스템 해킹을 탐지하거나 시스템 해킹을 감지하였을 때 동적으로 구성을 바꾸는 등의 조치를 취하는 시스템 기능이 필요하다. 본 고에서는 능동형 Secure OS의 주요 기능과 함께 핵심 기술의 구현 내용을 기술하며, 시스템내의 감사 추적 기능에 의해 능동적으로 시스템을 구성하고 실시간 조치가 가능하도록 한 능동형 Secure OS 시스템을 소개한다.

• Review of KIISC
• /
• v.33 no.6
• /
• pp.89-109
• /
• 2023

최근 AI와 로봇기술 등으로 개인정보를 포함한 데이터의 처리가 일상화됨에 따라 한국정부는 개인정보 비식별 조치 가이드라인 및 데이터 3법을 발표함으로써 개인정보 비식별화를 돕고자 하였다. 하지만 복잡한 비식별화 절차와 이의 효과에 대한 불명확함으로 기업들이 개인정보를 포함한 빅데이터의 활용에 어려움을 겪고, 동시에 시민단체나 소비자단체에서는 현 가이드라인에 따른 비식별화 절차가 개인정보를 보호하기에 충분하지 않다고 지적하고 있다. 본고에서는 비식별화 현황과 기술을 검토하고 현 가이드라인의 한계점을 보완 함으로써 데이터 활용 업체와 기관들의 정확한 비식별화를 돕고 빅데이터 활용의 활성화에 기여하고자 한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.649-650
• /
• 2023

본 논문에서는 한-IAEA 전면안전조치협정에 의거해 원자력사업자가 핵물질 정보를 작성하고 있는 계량 관리보고시스템을 개선하기 위하여 GUI 기반 시스템 구축 방안을 제안하였다. 현재 사업자는 전면안전조치 협정 보조약정 Code 10에 기술된 양식에 따라 정해진 Keyword나 Code를 통해 핵물질의 수량, 물리적 및 화학적 형태, 재고변동형태 등을 계량관리보고서에 작성하고 있다. 사업자가 제출한 계량관리보고서를 통해 국제원자력기구는 국내에 존재하는 전체 핵물질 현황을 준 실시간 파악할 수 있고 현장 사찰을 통해 신고내용을 검증한다. 2022년 말 기준 국내에는 31개의 원자력 시설과 292개의 소량핵물질 이용기관이 계량관리 보고대상 사업자로 존재하며 계량관리보고서 작성 규칙을 숙지하기 위해 많은 노력을 기울이고 있다. 본 논문에서 제안하는 GUI 기반 시스템 구축 방안을 활용한다면 원자력사업자의 계량관리보고서 작성 부담을 경감시키고 인적 오류를 사전에 방지할 수 있을 것이다.

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.15 no.3
• /
• pp.191-197
• /
• 2017

The Korea Atomic Energy Research Institute (KAERI) has developed a safeguards technology for pyroprocessing based on the Safeguards-By-Design (SBD) concept. KAERI took part in a Member-State Support Program (MSSP) to establish a pyroprocessing safeguards approach. A Reference Engineering-scale Pyroprocessing Facility (REPF) concept was designed on which KAERI developed its safeguards system. Recently the REPF is being upgraded to the REPF+, a scaled-up facility. For assessment of the nuclear-material accountancy (NMA) system, KAERI has developed a simulation program named Pyroprocessing Material Flow and MUF Uncertainty Simulation (PYMUS). The PYMUS is currently being upgraded to include a Near-Real-Time Accountancy (NRTA) statistical analysis function. The Advanced Spent Fuel Conditioning Process Safeguards Neutron Counter (ASNC) has been updated as Non-Destructive Assay (NDA) equipment for input-material accountancy, and a Hybrid Induced-fission-based Pu-Accounting Instrument (HIPAI) has been developed for the NMA of uranium/transuranic (U/TRU) ingots. Currently, performance testing of Compton-suppressed Gamma-ray measurement, Laser-Induced Breakdown Spectroscopy (LIBS), and homogenization sampling are underway. These efforts will provide an essential basis for the realization of an advanced nuclear-fuel cycle in the ROK.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.116-119
• /
• 2010

안보, 재난, 국가핵심기반 분야에 위기발생시 즉각적인 조치를 위한 '위기대응 실무매뉴얼'이 정부기관별로 작성되어 있지만 조치사항에 대한 정량적 검증이 부족하다. 오류가 내포된 조치절차는 피해를 확대 시킬 수 있으므로 위기대응절차에 대한 검증이 요구되며 이를 위해 본 논문에서는 Statemate의 구조적, 기능적, 행위적 관점의 언어를 활용해서 정형기법(formal methods)을 수행함으로써 위기 대응 실무매뉴얼의 모델링 방법을 제안하고 매뉴얼에 기술되어 있는 조치절차의 검증결과를 제시하였다.