• 한국컴퓨터정보학회논문지
• /
• 제5권3호
• /
• pp.91-98
• /
• 2000

본 논문은 음성을 이용하여 개인의 신원을 확인할 수 있는 화자 검증시스템을 설계, 구현하였다. 특징 파라메터로는 선형 예측 계수나 고속 후리에 변환보다 안정적이고 계산량이 적은 장점이 있는 필터뱅크(filterbank)를 사용했으며 추출된 파라메터들을 LBG 알고리즘을 이용하여 각 개인의 코드북을 작성하였다. 작성된 코드북에 의해 특징 파라메터를 벡터양자화하여 얻어진 코드열로 화자 검증의 참조 패턴 및 입력 패턴을 생성, 이들을 동적시간 정합법을 이용하여 유사도를 측정하여 얻어진 유사도와 임계값을 비교하여 음성 의뢰자(client speaker)인지, 사칭자(impostor)인지 결정하는 화자 검증기를 설계, 구현하였다.

• 정보보호학회지
• /
• 제34권3호
• /
• pp.5-12
• /
• 2024

오늘날 보안 패러다임은 경계 기반 보안 체계에서 제로 트러스트로 변화하고 있다. 이에 NIST는 NIST SP 800-207(Zero Trust Architecture)을 발간하며 제로 트러스트 기본 원칙인 7 Tenets를 제시하였다. 하지만 7 Tenets에 대한 구체적인 구현 및 검증 방안이 부재하여, 제로 트러스트 기술 적용 범위를 정하는 데 어려움을 겪고 있다. 이에 본 논문은 제로 트러스트 제품이 제로 트러스트 표준 모델에 부합하는지 검증할 수 있는 NIST 7 Tenets 기반 점검 항목을 제안한다. 점검항목은 총 59개의 문항으로, 필수적으로 요구되는 필수 기능 28개와 선택적으로 요구되는 선택 기능 31개로구성된다. 수립한 내용에 근거하여 5개의 기업 제품을 검증한 결과, 필수 기능을 모두 만족하는 제품은 없었으며 적용된 제로 트러스트 원칙이 상이함을 확인하였다. 이는 본 논문에서 제안한 점검 항목을 통한 제품의 표준 모델 부합성 검증이 가능함을 보여주며, 향후 국가·공공기관에서의 제로 트러스트 사용 및 유연한 국외 제품 도입 시 활용될 것으로 기대한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.523-530
• /
• 2009

최근 내장형 시스템이 점점 많은 분야에 사용되며, 시스템에 특화된 운영체제 커널에 대한 필요성이 커지고 있다. 하지만, 커널 개발은 코드의 복잡성 등의 이유로 말미암아 테스팅에 큰 비용이 소요됨에도 불구하고, 높은 신뢰성을 달성하기가 어려운 실정이다. 이러한 커널 개발 및 테스팅의 어려움을 극복하기 위해, 운영체제 커널의 동시성 오류 검출을 지원하는 모델 기반의 커널 테스팅 (MOKERT) 프레임워크를 제안한다. MOKERT 프레임워크는 주어진 C 프로그램을 Promela 정형 명세 모델로 변환하고 나서 Spin 모델검증기를 사용하여 검증하고, 검증반례가 생성된 경우, 이 검증반례를 실제 커널 코드에서 실행을 시켜서 진위를 확인한다. 본 연구에서는 MOKERT 프레임워크를 리눅스 proc파일시스템에 적용하여, ChangeLog에 보고된 오류가 실제로 자원경쟁문제를 일으킴을 확인하였을 뿐만 아니라, 커널 패닉을 일으키는 새로운 오류도 발견하였다.

• Journal of the Korean Data and Information Science Society
• /
• 제24권1호
• /
• pp.63-72
• /
• 2013

본 연구는 원격교육학습환경 한국판 척도의 타당도를 검증하고 지각된 학업성취도와 사이버교육 만족도와의 관계를 검증하고자 한다. 이를 위해 K 사이버대학교 재학중인 학생을 대상으로 설문조사를 실시하였고 그 결과로 254개의 표본을 분석에 투입하였다. 탐색적, 확인적 요인분석을 통해 원격교육학습환경척도의 구성요인을 검증하고 지각된 학업성취도와 원격교육만족도와의 관계를 구조방정식 분석을 통해 모형을 검증하였다. 그 결과 원격교육학습환경 한국판 척도는 교수자 지원, 학생간 상호작용과 협동, 개인적 연관성, 수업 실제성, 능동적 학습, 학습자 자율성 등의 6개 요인으로 구성되었으며 확인적 요인분석을 통해 검증한 모형적합도 역시 적합한 수준으로 나타났다. 구조방정식의 경로 분석 결과 원격교육학습환경이 학업성취도에 직접적으로 유의한 영향을 미칠 뿐 아니라 지각된 학업성취도를 매개로 하여 사이버교육만족도에 유의한 영향을 미치는 것으로 나타났다. 지각된 학업성취도 역시 사이버교육만족도에 직접적으로 유의한 영향을 미치는 것으로 나타났다. 이러한 결과를 토대로 결론 및 시사점을 제시하였다.

• 인지과학
• /
• 제14권1호
• /
• pp.41-50
• /
• 2003

내적상태 쾌 및 각성 차원에 근거한 표정 합성 시스템의 성능을 검증하고 이 시스템을 효과적으로 사용할 수 있는 인터페이스를 제안하였다. 우선 내적상태의 기저 구조에 대하여 차원모형을 가정한 것이 적절한가를 확인하고자 하였다. 이를 위해 평정자들로 하여금 차원 축 상의 17가지 표정들을 비교하도록 하였다. 참가자들의 비교 판단 결과로부터 시스템의 기본 가정에 대한 타당성이 확보되었다. 다음으로 시스템의 성능을 검증하기 위해 대표 표정 21가지를 선정하고 평정자들로 하여금 이들의 유사성을 판단하도록 하였다. 평균 유사성 평정값을 대상으로 다차원분석을 실시한 결과, 시스템의 성능이 신뢰로운 수준임을 확인하였다. 마지막으로 시스템 사용을 위한 최적의 조건을 찾기 위해 좌표평면 및 슬라이드바의 두 가지 방법으로 설계된 인터페이스들의 효율성을 비교하였다. 사용자들로 하여금 각각의 방식으로 25가지 특정 내적상태의 표정들을 직접 구현해보도록 하였다. 이들의 구현 결과들을 비교, 분석한 결과 내적상태 차원에 기반하여 표정을 합성하는 경우 좌표평면에서의 위치를 제시하는 입력 방법이 더 안정적인 것으로 확인되었다.

• 한국전산구조공학회논문집
• /
• 제29권6호
• /
• pp.491-498
• /
• 2016

리벳이나 볼트가 결합되는 구멍은 항공기, 선박 및 기타 구조물에 사용되는 판재의 응력 집중을 유발한다. 과도한 응력 집중 현상이 지속되면 종래에는 파단이 일어날 수 있으므로 설계 단계에서 응력 집중 현상의 명확한 해석이 중요하다. 이 논문에서는 판재위에 리벳을 배치하는 간단한 최적화 방법이 제시되었다. 첫째로 응력 집중 현상 해석에서 FEM 구조 해석이 얼마나 정확한지 검증하였다. 평판 위에 존재하는 단일 구멍의 반경을 바꿔가며 응력 집중 계수의 변화를 분석하였다. 같은 방법으로 일렬로 존재하는 구멍들 사이에서의 응력 집중 계수를 수치 해석하였다. 각각의 응력 집중 계수를 이론값과 비교하여 정확도를 확인하였다. 마지막으로 두 응력 집중 현상을 독립적으로 적용하는 최적화 방법을 확인 및 검증하였다. 이 결과들은 이론적인 예측과 밀접한 경향성을 보여 앞으로의 리벳 배치 최적화에도 활용될 수 있을 것으로 예상된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (하)
• /
• pp.1009-1012
• /
• 2001

최근, 인터넷을 이용한 기업 내 애플리케이션 활용범위가 확대되고, 원격지와의 Mobile 컴퓨팅 환경 구축 및 인트라넷의 확산에 따라 기업내부의 정보 유출로 인한 피해가 급증하고 있다. 이에 따라 신원 확인, 암호화 송수신, Logging, 부인방지 등 강력한 보안에 대한 요구가 증대되면서, 기업 내 시스템 관리가 복잡해지고, 내부 사용자 인증을 통한 보안체계 구축도 절실히 필요하게 되었다. 본 논문에서는 network layer의 보안 프로토콜을 위하여 개방형 구조와 유연한 구조를 제공하는 IPsec 프로토콜을 제안하였다. 즉, 패킷 안의 데이터를 검증 가능한 서명과 결합시켜 데이터 송신자의 신원을 확인하고 데이터가 변하지 않았음을 검증 처리하는 AH(Authentication Header)프로토콜과 패킷의 데이터를 네트워크 상에서 부정을 행하려는 자가 불법적으로 해독찬 수 없도록 처리하는 ESP(Encapsulating Security Payload) 프로토콜을 설계하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2004년도 춘계학술발표대회논문집
• /
• pp.139-142
• /
• 2004

전자화폐는 전자상거래의 발달로 인해 이용이 높아지고 있다. 전자화폐는 실질 화폐의 가치를 가지고 있으므로, 여러 가지의 보안 사항 및 요구 사항이 필요하다. 그 중에서 익명성의 제공은 사용자의 프라이버시를 제공할 수 있는 방안이다. 보안 기술로는 은닉 서명 방식을 이용하는데 서명자가 메시지의 내용을 알 수 없는 상태에서 서명을 하는 것으로 사용자만이 값을 알고 있다. 그러나 서명 받을 메시지의 정당성을 확인하는 연산을 수행하여야 한다 본 논문에서 제안하는 것은 수신자 지정 서명방식을 이용하여, 전자화폐를 발급받고 이를 이용한다. 수신자 지정 서명은 서명자가 선택하는 검증자만이 확인 가능하므로, 전자화폐를 다른 제 3자가 이용할 수 없게 된다. 그러나 익명성을 제공할 수 없으므로, 변형이 필요하다. 제안 방식은 사용자의 지정을 통해 정당한 사용자만이 검증 할 수 있으며, 익명성의 제공을 위해 사용자가 선택한 임의 값을 삭제한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.1748-1749
• /
• 2011

본 논문에서는 최근 전기자동차의 개발과 동시에 연구가 활발히 진행되고 있는 전기자동차의 충전시스템인 EVSE(Electric Vehicle Supply Equipment) 시뮬레이터를 구현하고 성능을 검증한다. EVSE는 전기자동차의 충전을 위해 안정적인 전원을 공급하는 기능 이외에도, 충전상태 모니터링, 인증 및 과금 등의 기능이 요구되기 때문에 전기자동차와의 통신이 필수적이다. 따라서 CAN 기반의 전기자동차 충전시스템 시뮬레이터를 구현하고, 제안된 충전 절차에 따른 실험을 통해 차량 인증, 차량 정보 확인 및 모니터링 프로그램의 성능을 검증한다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2014년도 추계 종합학술대회 논문집
• /
• pp.373-374
• /
• 2014

본 연구의 목적은 청소년기의 휴대폰 의존의 시간의 흐름에 따른 발달적 변화를 확인하고, 부모 지지 및 사회적 위축과 이러한 변화 사이에 어떠한 종단적 관계가 있는지를 검증하고자 하는 것이다. 이를 위하여 본 연구에서는 한국아동 청소년패널조사(KCYPS) 중학교 1학년 1~3차년도 자료에 대하여 잠재성장모형을 구성하여 이에 대한 실증적 검증을 실시하였다. 분석 결과, 중학교 1학년에서부터 3학년까지 휴대폰 의존 정도는 선형으로 증가하는 패턴을 보였으며, 1차년도의 부모지지는 휴대폰 의존의 초기치에, 그리고 휴대폰 의존 초기치와 변화율은 각각 3차년도의 사회적 위축에 유의한 영향을 미치는 것으로 확인되었다. 이상에서 도출된 연구 결과에 근거하여 청소년기 휴대폰 의존에 대한 예방 및 개입과 관련된 함의가 제시되었다.