• 인터넷정보학회논문지
• /
• 제19권5호
• /
• pp.55-66
• /
• 2018

기존 서버기반 인증방식은 취약한 패스워드 기반 인증을 사용함으로 개인정보유출사고가 빈번했다. 이는 불법적 아이디 도용의 문제를 야기함으로 대체할 새로운 인증방안이 연구되었다. 최근 OAuth 2.0 및 JWT 토큰기반 인증을 웹사이트 인증에 사용하고 있지만 토큰 도청만으로 인증정보가 유출되는 취약점이 있어 보완책이 강구되고 있다. 이를 위해 본 논문은 유효시간이 포함된 암호화 인증코드를 담은 검증토큰을 사용한 인증방식을 제안한다. 이 방안의 검증은 검증토큰을 복호화 하여 나온 인증코드를 자신의 계산과 비교하면 된다. 본 토큰 암복호화 방식은 타원곡선 그룹연산 기반 DH(디피헬만)의 세션키 방식과 빠른 XOR 암호방식을 사용하므로 세션키 합의 오버헤드가 없고 암호화 계산이 빠르다. 본 논문의 인증은 기존 토큰인증의 장점, 빠른 XOR 암호화의 장점, 그리고 안전한 DH 세션키 방식을 사용하여 인증 취약점으로 인한 개인정보 유출위협에 대응하는 탁월한 인증방식이다.

• 한국항행학회논문지
• /
• 제19권1호
• /
• pp.33-40
• /
• 2015

A-SMGCS는 모든 기상조건에서 공항 이동지역 내 요구되는 안전수준을 확보하는 동시에 정해진 지상이동률을 유지하기 위하여 항공기와 차량에게 경로, 안내, 감시, 통제기능을 제공하는 시스템이다. 본 연구에서는 A-SMGCS 적합성 검증방안을 개발하기 위해 시스템 엔지니어링을 도입하였다. A-SMGCS 운용개념을 통해 레벨 IV급 A-SMGCS에 대한 요구사항을 정의하였으며, 기능분석과 할당을 통해 시스템 아키텍처와 시스템 규격을 도출하였다. A-SMGCS 개발을 위한 WBS와 IMS를 수립하였으며, 마지막으로 시스템에 대한 확인 및 검증을 위한 CCL과 TEMP를 개발하였다.

• 한국위성정보통신학회논문지
• /
• 제5권2호
• /
• pp.1-7
• /
• 2010

기존 위성 탑재소프트웨어 개발은 제한된 하드웨어 기반의 Software Test Bed(STB)에서 개발 및 검증이 이루어졌다. 하지만 탑재소프트웨어 개발 시 하드웨어의 개발 진행에 따라 소프트웨어 개발 일정이 심각한 영향을 받았으며 다수의 소프트웨어 엔지니어가 제한된 STB를 동시에 사용할 수 없는 문제가 지속적으로 제기 되었다. 또한 최종 비행 하드웨어 모델과 상이한 형상으로 인하여 실제 운영을 고려한 부분의 경우 소프트웨어 개발 및 검증에 많은 어려움이 있었다. 이러한 문제를 해결하기 위하여 위성 개발초기부터 소프트웨어 기반의 위성 시뮬레이터 개발이 시작되었으며, 위성 시뮬레이터는 탑재 컴퓨터 및 이와 관련된 모든 하드웨어를 모사해주며 비행 하드웨어 모델과 동일한 형상을 갖추고 있다. 또한 소프트웨어 개발자를 위한 디버깅 채널과 테스트 환경을 제공하며, 별도의 수정 없이 탑재소프트웨어를 로딩 할 수 있으며 유사 실시간 시스템 실행을 지원한다. 본 논문에서는 소프트웨어 기반의 시뮬레이터의 구조와 개발방안을 제시하고 시뮬레이터 기반에서 탑재소프트웨어 개발 및 검증 결과를 소개한다.

• 정보보호학회논문지
• /
• 제29권4호
• /
• pp.835-845
• /
• 2019

파일 카빙(File Carving)은 저장 매체가 포맷되거나 파일시스템이 손상되어 메타데이터가 없는 파일 복구를 시도하는 기법으로 일반적으로 파일의 특정 헤더/푸터 시그니처 및 데이터 구조를 찾는다. 그러나 파일 카빙은 오랫동안 단편화 (Fragmentation) 된 파일을 복구해내는 문제점에 직면하고 있으며, 디지털포렌식에서 중요한 대상의 파일(doc, hwp, xls 등)은 비교적 단편화되기 쉬우므로 이에 대한 해결방안 제시는 매우 중요하다. 이와 같은 한계점을 극복하기 위하여 다양한 카빙 기법 및 도구들이 지속적으로 개발되고 있으며, 기능 검증을 위하여 다양한 연구 및 기관에서 데이터셋을 제공한다. 그러나, 기존에 제공된 데이터셋은 환경적인 조건이 상당히 제한되어 도구를 검증하는데 있어 비효율적이다. 본 논문에서는 단편화된 파일 카빙의 중요성을 언급하고, 카빙 도구 검증을 위한 시나리오 기반의 16가지의 이미지를 개발한다. 개발된 이미지는 상용 카빙 도구로 잘 알려진 Foremost를 통하여 매체 별로 카빙률 및 정확도를 계산하여 나타낸다.

• 한국노년학
• /
• 제37권3호
• /
• pp.783-801
• /
• 2017

본 연구는 만성질환을 앓고 있는 노인에 대한 사회적 지지가 삶의 만족에 이르는 경로를 파악하고 주관적 건강상태의 매개효과를 검증하여 사회복지적 개입 방안을 제시하고자 하였다. 본 연구의 조사대상자는 서울시에 거주하는 만65세 이상의 노인으로, 만성질환을 앓고 있는 노인 228명과 건강한 노인 75명, 총 303명의 데이터가 분석되었다. 연구가설 검증을 위해 구조모형분석과 다중집단분석을 실시하였으며, 매개효과 검증을 위해 붓스트래핑을 실시하였다. 연구결과, 사회적 지지가 높은 노인일수록 삶의 만족을 느끼는 것으로 나타났으며, 건강한 노인과 달리 만성질환을 앓고 있는 노인은 사회적 지지가 주관적 건강상태를 긍정적으로 인식하는 데 도움을 주는 것으로 나타났다. 또한 주관적 건강상태를 긍정적으로 인식할수록 삶의 만족 또한 높은 것으로 나타나, 사회적 지지를 통해 주관적 건강상태를 긍정적으로 인식하는 것의 중요성을 확인하였다. 연구 결과에 근거하여 만성질환 노인에 대한 사회복지적 개입 방안 및 정책적 함의를 제시하였다.

• 예술인문사회 융합 멀티미디어 논문지
• /
• 제8권3호
• /
• pp.895-905
• /
• 2018

여론조사는 특정 사안에 대하여 사회 집단의 성향을 알아보기 위한 수단으로서 현대 사회에 강한 영향력을 미치고 있다. 이처럼 여론 조사의 영향력이 커짐에 따라 결과물의 위·변조의 문제점이 중요한 이슈로 나타나게 되었으며 여론조사의 신뢰성을 보장하기 위한 새로운 방안이 필요한 실정이다. 이더리움 블록체인은 이를 위한 해결방안으로서 신뢰성이 보장되는 블록체인 기술을 이용하는 분산 어플리케이션을 개발하기 위한 환경이다. 이더리움 분산 어플리케이션은 스마트 컨트랙트를 활용하여 사용자를 위한 서비스들을 투명하고 신뢰성 있게 제공할 수 있다. 본 논문에서는 위·변조가 사실상 불가능한 분산 장부 관리기법인 블록체인을 이용하여 신뢰성을 보장하는 여론조사 기법에 대하여 제안한다. 제안하는 기법은 여론조사 결과물에 대한 여론조사 대상자 개인 및 검증 기관의 견고한 검증 기능을 제공한다. 또한, 제안하는 기법의 유효성을 확인하기 위하여 프라이빗 이더리움 블록체인 네트워크에서 동작하는 여론조사 분산 어플리케이션을 개발한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 한국인터넷방송통신학회논문지
• /
• 제18권1호
• /
• pp.185-194
• /
• 2018

본 연구는 블록체인 기반 서비스의 확산을 위한 방안 연구로서 블록체인 기술에 대한 한계요인과 이를 개선하는 방안에 대해 전문가의 의견을 수렴하는 델파이 기법으로 연구하였다. 한계요인과 개선방안을 기술, 서비스, 법 제도 측면으로 분류하였다. 첫째, 기술측면에서 기술 관련 표준화 부재, 통합성 미비, 확장성 미비, 취소, 정정 정책 부재, 거래 검증비용 과다발생, 보안미비를 한계요인으로 제시했다. 이를 개선하기 위해 각 관련 기관이 협력하여 표준화 확보, 시스템의 통합성 확보 및 확장성 확보, 각 적용되는 데이터에 대한 취소, 정정 정책 수립, 검증비용 효율화와 보안 대비 방안으로 모색하여야 한다. 둘째, 서비스 측면에서 한계요인은 초기단계로 활용성 미비, 보안위협 대응 미비, 전문 인력 부족을 제시하였다. 이에 대한 개선방안으로 다양한 서비스에 적용할 수 있는 지속적인 활용방안에 대한 연구가 이루어져야 하며 서비스에 대한 철저한 보안대응 방안을 준비하고 전문 인력 양성을 통해 시장에서 필요로 하는 인재를 확보할 수 있어야 한다. 셋째, 법제도 측면은 법적대응 미비, 규제의 불확실성 및 관련 규정미비의 한계점이 있다. 서비스 활성화를 위한 가장 중요한 영역인 법 제도는 정부의 관련 부처에서 법적대응 안 마련, 규제의 명확성 및 대응 방안 수립이 필수적으로 동반되어야 한다. 본 연구는 블록체인 기술 관련 연구에 도움이 될 것으로 기대된다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권4호
• /
• pp.468-478
• /
• 2002

본 논문에서는 가입자망의 고속화를 실현하는 방안으로 개발되고 있는 B-WLL 시스템의 MAC 프로토콜을 설계하고 검증하였다. MAC 프로토콜의 설계는 DAVIC에서 제시하는 MAC 메시지를 사용하여 SDL로 설계했으며, 동적인 경쟁/예약 타임 슬롯할당 알고리즘을 적용했다. 또한 설계한 MAC 프로토콜의 유효성을 검증하기 위하여 ObjectGeode의 Simulation Builder를 이용하여 문법적인 오류를 검사하고, MSC(Message Sequence Chart)를 생성하여 프로토콜의 동작절차에 대해 검증하였다. 검증의 결과, 설계한 MAC 프로토콜이 절차에 따라 정확하게 동작했으며, B-WLL 시스템이 지원하는 모든 서비스에 대해 유효함을 확인했다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2022년도 춘계학술발표대회
• /
• pp.535-538
• /
• 2022

근감소증은 영양부족, 운동량 감소 그리고 노화 등으로 정상적인 근육의 양과 근력 및 근 기능이 감소하는 질환을 말한다. 근감소증은 보편적으로 유럽 근감소증 실무그룹분석(EWGSOP)에서 정의한 측정 방법을 따른다. 본 논문에서는 근감소증 진단을 위한 영상 분할 모델을 개발하고 외부검증하는 방법에 대해서 제안한다. 우리는 CT 영상에서 L3 영역을 선별하여 자동으로 근육, 피하지방, 내장지방을 분할할 수 있는 인공지능 모델을 U-Net을 사용하여 개발하였다. 또한 모델의 성능을 평가하기 위해서 분할영역의 IOU(Intersection over Union)를 계산하여 내부검증을 진행하였으며, 타 병원의 데이터를 이용하여 같은 방법으로 외부검증을 진행한 결과를 보인다. 검증 결과를 토대로 문제점과 해결방안에 대해서 고찰하고 보완하고자 했다.