• 제목/요약/키워드: admissibility

검색결과 75건 처리시간 0.026초

디지털 포렌식 기법을 적용한 전자기록물 관리기술 고도화 연구 (Research on Advanced Electronic Records Management Technology Using Digital Forensics)

  • 유형욱;손태식
    • 정보보호학회논문지
    • /
    • 제23권2호
    • /
    • pp.273-277
    • /
    • 2013
  • 디지털 방식으로 생산 저장되는 기록들이 급증함에 따라 이러한 디지털 기록들을 수집 보존 관리하는데 있어 신뢰성 및 무결성을 유지하고 이를 통해 법적 증거로써의 가치를 보장하는 것이 중요한 이슈가 되었다. 본 논문에서는 국내 형사 소송법 및 기록관리 법령을 토대로 현재 국가기록원에서 관리하고 있는 전자기록물의 사법적 증거능력에 대해 고찰하고 이에 대한 문제점을 도출하였다. 또한 본 논문에서 도출된 문제점을 해결하기 위해 디지털 포렌식(Digital Forensics) 절차 적용 및 해시값 활용 방안을 제시한다.

ADMISSIBILITY AND CONNECTEDNESS IM KLEINEN IN HYPERSPACES

  • Baik, Bong Shin;Rhee, Choon Jai
    • 호남수학학술지
    • /
    • 제36권4호
    • /
    • pp.913-919
    • /
    • 2014
  • We investigate the relationships between the space X and the hyperspaces concerning admissibility and connectedness im kleinen. The following results are obtained: Let X be a Hausdorff continuum, and let A, $B{\in}C(X)$ with $A{\subset}B$. (1) If X is c.i.k. at A, then X is c.i.k. at B if and only if B is admissible. (2) If A is admissible and C(X) is c.i.k. at A, then for each open set U containing A there is a continuum K and a neighborhood V of A such that $V{\subset}IntK{\subset}K{\subset}U$. (3) If for each open subset U of X containing A, there is a continuum B in C(X) such that $A{\subset}B{\subset}U$ and X is c.i.k. at B, then X is c.i.k. at A. (4) If X is not c.i.k. at a point x of X, then there is an open set U containing x and there is a sequence $\{S_i\}^{\infty}_{i=1}$ of components of $\bar{U}$ such that $S_i{\longrightarrow}S$ where S is a nondegenerate continuum containing the point x and $S_i{\cap}S={\emptyset}$ for each i = 1, 2, ${\cdots}$.

맞춤구성을 위한 템플릿과 Option 기반의 추론

  • 이현정;이재규
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 2002년도 춘계학술대회 논문집
    • /
    • pp.181-190
    • /
    • 2002
  • 전자 카탈로그 상에서의 상품 검색은 카탈로그에 명시되어 있는 상품을 찾는 표준상품검색과 소비자가 원하는 상품을 맞춤 하는 맞춤상품검색으로 분류할 수 있다. 현재의 대부분의 상품 검색은 표준상품검색에 의존하고 있다. 특히 기업간 구성요소기반(Component-based) 상품의 경우 표준상품검색만으로는 구매자의 다양한 요구에 응하기가 어렵다. 따라서 웹 상의 전자 카탈로그에서의 동적인 맞춤검색에 대한 요구가 증가하고 있다. 본 연구에서는 구성기반 상품에 대해서 표준상품검색만으로는 구매자가 원하는 상품의 검색가능성(Feasibility)과 검색된 대안들이 조정(Adjust) 프로세스 과정을 거쳐 최적해 도달 가능성(Admissibility)이 보장되지 않음을 보이고, 이에 대한 효과적인 방법론으로 검색가능성과 최적해 도달 가능성을 지원하는Template-based Reasoning 방법론을 제안 한다. Template-based Reasoning은 구매자의 요구사항에 따른 대안탐색 부분과 선택된 대안에 대한 조정과정의 두 단계로 이루어진다. 구매자의 주요 선호도(MUST Preference)에 근거하여 대안들을 탐색하고, 탐색 된 대안들 간의 우선순위를 결정한다. 조정 단계에서는 옵션(Options)의 확장을 통해 구매자의 맞춤사양에 따른 상품을 제안하고, 제약 및 규칙기반 추론(Constraint and Rule Satisfaction Approach)을 이용하여 옵션(Options)들 간의 제약조건에 따른 호환성(Compatibility)을 조사하고, 적정가격의 상품을 제안한다. 본 방법론은 Template을 사용하여 기본적으로 구매자가 원하는 상품을 검색하기 위한 검색노력을 줄이고, 검색된 대안들로부터 구매자와 시스템이 웹상에서 서로 상호작용(interactivity) 하여 해를 찾고, 제약조건과 규칙들에 의해 적합한 해를 찾아가는 방법을 제시한다. 본 논문은 구성기반 예로서 컴퓨터 부품조립을 사용해서 Template-based reasoning 예를 보인다 본 방법론은 검색노력을 줄이고, 검색에 있어 Feasibility와 Admissibility를 보장한다.

  • PDF

Estimation of the Parameter of a Bernoulli Distribution Using a Balanced Loss Function

  • Farsipour, N.Sanjari;Asgharzadeh, A.
    • Communications for Statistical Applications and Methods
    • /
    • 제9권3호
    • /
    • pp.889-898
    • /
    • 2002
  • In decision theoretic estimation, the loss function usually emphasizes precision of estimation. However, one may have interest in goodness of fit of the overall model as well as precision of estimation. From this viewpoint, Zellner(1994) proposed the balanced loss function which takes account of both "goodness of fit" and "precision of estimation". This paper considers estimation of the parameter of a Bernoulli distribution using Zellner's(1994) balanced loss function. It is shown that the sample mean $\overline{X}$, is admissible. More general results, concerning the admissibility of estimators of the form $a\overline{X}+b$ are also presented. Finally, minimax estimators and some numerical results are given at the end of paper,at the end of paper.

Nonparametric Bayesian methods: a gentle introduction and overview

  • MacEachern, Steven N.
    • Communications for Statistical Applications and Methods
    • /
    • 제23권6호
    • /
    • pp.445-466
    • /
    • 2016
  • Nonparametric Bayesian methods have seen rapid and sustained growth over the past 25 years. We present a gentle introduction to the methods, motivating the methods through the twin perspectives of consistency and false consistency. We then step through the various constructions of the Dirichlet process, outline a number of the basic properties of this process and move on to the mixture of Dirichlet processes model, including a quick discussion of the computational methods used to fit the model. We touch on the main philosophies for nonparametric Bayesian data analysis and then reanalyze a famous data set. The reanalysis illustrates the concept of admissibility through a novel perturbation of the problem and data, showing the benefit of shrinkage estimation and the much greater benefit of nonparametric Bayesian modelling. We conclude with a too-brief survey of fancier nonparametric Bayesian methods.

새로운 Mexican Hat, $L^1$-웨이브릿의 이산복원정리와 그 응용 (New Mexican Hat, a Discrete Reconstruction Theorem of $L^1$-Wavelets and Their Applications)

  • 안주원;허영대;권기룡;류권열;문광석
    • 한국멀티미디어학회논문지
    • /
    • 제3권5호
    • /
    • pp.461-469
    • /
    • 2000
  • 해석학 분야의 한 갈래인 웨이브릿 해석에서 CWT(continuous wavelet transform)는 Plancherel 형태의 복원정리가 성립하고, 웨이브릿 급수는 frame 이론과 다해상도 분석이론(multiresolution analysis; MRA)을 활용한 이산복원정리가 성립한다. 복원정리가 만들어짐에 따라 이에 상응하는 웨이브릿이 생성되는데, CWT에서는 허용조건(admissibility condition)을 만족하는 Basic 웨 이브릿이고, 웨이브릿 급수에서는 MRA를 이용한 Daubechies 웨이브릿, frame 이론을 이용한 Meyer 웨이브릿 등을 생각할 수 있다. 본 논문에서는 CWT에서 사용한 허용조건을 자연스럽게 확장함으로써 기존의 것보다 간편하고 활용도가 우수한 이 산복원정리를 발견하고, 이에 상응하는 보다 만들기 쉬운 새로운 형태의 $L^1$-웨이브릿 군을 개발함을 목적으로 한다. 본 연구에서 개발한 새로운 웨이브릿을 사용하여 시간-주파수에서의 신호 복원 및 분석에 응용한다.

  • PDF

증거로서 신뢰할 수 있는 전자기록의 품질 확보방안 연구 - 기록관리영역과 사법영역에서 다루는 기록과 증거의 품질 개념과 요건 분석을 중심으로 - (A Study on Securing the Quality of Trusted Digital Records as Evidence: Focusing on Analysis of Quality Concept and Requirements for Records and Evidence Respectively Covered in Records Management and Judicial Domain)

  • 이젬마;오경묵
    • 한국비블리아학회지
    • /
    • 제32권3호
    • /
    • pp.217-246
    • /
    • 2021
  • 본 연구에서는 전자기록의 신뢰체계 확보를 위해 증거로서 신뢰할 수 있는 전자기록의 품질 개념을 분석하고 기록관리 영역과 사법영역의 요건을 비교·분석하여 증거력 확보 방안 마련에 필요한 시사점을 도출하고자 하였다. 이를 위해 기록관리 절차, 기록 메타데이터, 기록시스템의 요건, 공공기록물법령을 상호 연계하고 사법영역의 요건을 비교하여 기록관리 영역에서 요구되는 요건을 조사·분석하였고, 전자기록과 디지털 증거의 품질개념간 관계 분석을 통해 법적 증거력 확보를 위해 기록 생산 및 획득 단계에서 기록의 신뢰성 확보를 위한 조치가 요구된다는 점을 도출하였다. 또한, 디지털 증거의 진정성 입증은 전자기록의 진본성 입증과 밀접한 관련성을 가지므로 진본성 입증을 위한 기록 프로세스와 기록 메타데이터, 기록시스템이 가지는 중요성과 이를 위한 조치의 필요성을 제시하였다.

맞춤구성을 위한 템플릿과 Option 기반의 추론 (Customized Configuration with Template and Options)

  • 이현정;이재규
    • 지능정보연구
    • /
    • 제8권1호
    • /
    • pp.119-139
    • /
    • 2002
  • 전자 카탈로그 상에서의 상품 검색은 카탈로그에 명시되어 있는 상품을 찾는 표준상품검색과 소비자가 원하는 상품을 맞춤 하는 맞춤상품검색으로 분류할 수 있다. 현재의 대부분의 상품 검색은 표준상품 검색에 의존하고 있다. 특히 기업간 구성요소기반(Component-based)상품의 경우 표준상품검색만으로는 구매자의 다양한 요구에 응하기가 어렵다. 따라서 웹 상의 전자 카탈로그에서의 동적인 맞춤검색에 대한 요구가 증가하고 있다. 본 연구에서는 구성기반 상품에 대해서 표준상품검색만으로는 구매자가 원하는 상품의 검색가능성(Feasibility)과 검색된 대안들이 조정(Adjust) 프로세스 과정을 거쳐 최적해 도달 가능성(Admissibility)이 보장되지 않음을 보이고, 이에 대한 효과적인 방법론으로 검색가능성과 최적해 도달 가능성을 지원하는 Template-based Reasoning 방법론을 제안한다. Template-based Reasoning은 구매자의 요구사항에 따른 대안탐색 부분과 선택된 대안에 대한 조정과정의 두 단계로 이루어진다. 구매자의 주요 선호도(MUST Preference)에 근거하여 대안들을 탐색하고, 탐색된 대안들 간의 우선순위를 결정한다. 조정 단계에서는 옵션(Options)의 확장을 통해 구매자의 맞춤사양에 따른 상품을 제안하고, 제약 및 규칙기반 추론 (Constraint and Rule Satisfaction Approach)을 이용하여 옵션(Options)들 간의 제약조건에 따른 호환성(Compatibility)을 조사하고, 적정가격의 상품을 제안한다. 본 방법론은 Template을 사용하여 기본적으로 구매자가 원하는 상품을 검색하기 위한 검색노력을 줄이고, 검색된 대안들로부터 구매자와 시스템이 웹상에서 서로 상호작용(interactivity) 하여 해를 찾고, 제약조건과 규칙들에 의해 적합한 해를 찾아가는 방법을 제시한다. 본 논문은 구성기반 예로서 컴퓨터 부품 조립을 사용해서 Template-based reasoning 예를 보인다. 본 방법론은 검색노력을 줄이고, 검색에 있어 Feasibility와 Admissibility를 보장한다.

  • PDF

서버 가상화 환경의 가상머신 이미지에 대한 법적 증거로서의 허용성에 관한 연구 (A Study on the Admissibility of the Virtual Machine Image File as a Digital Evidence in Server Virtualization Environment)

  • 김동희;백승조;심미나;임종인
    • 정보보호학회논문지
    • /
    • 제18권6A호
    • /
    • pp.163-177
    • /
    • 2008
  • 오늘날 많은 기업들이 비용절감을 위해 서버 가상화 기술의 이용 및 보급을 확대함에 따라 가상화 서버에서의 사이버범 죄도 크게 증가할 것으로 예상된다. 서버 가상화 솔루션은 각 가상화 서버에 대한 가상머신 이미지를 생성하는 기능을 기본적으로 제공하기 때문에 서버 가상화 환경에서는 기존의 디지털 포렌식 수사과정의 디스크 이미지 수집과정을 생략하고 가상머신 이미지를 법적증거로 직접 활용함으로써 보다 신속하고 효율적인 수사가 가능하다. 하지만 가상화 서버의 구조적 특징으로 인해 나타날 수 있는 보안 취약성, 그리고 서버 가상화 솔루션의 신뢰성과 증거수집 절차상의 문제들로 인해 가상머신 이미지 자체만으로는 법적증거로서의 허용성을 인정받지 못한다. 본 논문에서는 가상머신 이미지가 법적증거로서 허용성을 인정받기 위해 서버 가상화 솔루션이 갖추어야 할 보안 요구사항, 디지털 포렌식 도구로서의 신뢰성 조건들을 도출하였으며, 가상머신 이미지가 증거로서의 연계보관성을 만족시키기 위해 갖추어야할 부가요소들을 제안한다. 또한 이러한 조건들을 통해 가상머신 이미지 증거가 미국 연방증거법의 법적 허용성 기준들을 만족시키는지 살펴보고, 이를 위한 관련 기관들의 구체적인 역할 및 세부 추진계획들을 제안한다.

A Class of Admissible Estimators in the One Parameter Exponential Family

  • Kim, Byung-Hwee
    • Journal of the Korean Statistical Society
    • /
    • 제20권1호
    • /
    • pp.57-66
    • /
    • 1991
  • This paper deals with the problem of estimating an arbitrary piecewise continuous function of the parameter under squared error loss in the one parameter exponential family. Using Blyth's(1951) method sufficient conditions are given for the admissibility of (possibly generalized Bayes) estimators. Also, some examples are provided for normal, binomial, and gamma distributions.

  • PDF