• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권3호
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.

• 한국정보과학회논문지:정보통신
• /
• 제28권2호
• /
• pp.207-216
• /
• 2001

이동 방송 환경은 정보를 가지고 있는 서버가 다수의 이동 클라이언트에게 모든 데이터를 주기적으로 방송하면 클라이언트가 자신이 원하는 데이터가 방송 채널에 나타날 때 이를 검색하는 환경을 말한다. 이때 클라이언트가 수행하는 읽기 전용 트랜잭션은 일관적이면서도 가장 최근에 갱신된 데이터를 필요로한다. 이동 방송환경에 적합하도록 연구된 기존의 병행성 제어 기법들을 클라이언트가 일관적인 데이터를 읽는 것은 보장하지만 가장 최근에 갱신된 데이터를 읽을수 있게 하는 최신 현행성은 보장하지 못한다. 본 논문에서는 기존 기법들과 동일한 수준의 일관성뿐만 아니라 최신 현행성을 보장하는 효율적인 병행성 제어 기법을 제안하고 이를 검증한다. 아울러 제안된 기법의 성능을 평가하기 위하여 최신이 아닌 데이터를 읽은 경우(stale read)의 수와 트랜잭션 중단의 수를 각각 측정하였다. 시뮬레이션을 통한 실험결과 본 논문에서 제안하는 기법은 기존의 방법과 비교할 때 항상 최신의 데이터를 읽으면서 트랜잭션중단의 수를 감소시킨다는 것을 알수 있었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.104-106
• /
• 2000

이 논문은 클라이언트에서 다수의 서버에 대한 공간 데이터의 변경 문제를 대상으로 한다. 분산 환경에서의 데이터 변경은 다음과 같은 요구조건을 가진다. 첫째, 분산 환경에서는 서로 다른 구조의 클라이언트 및 서버에 대해 확장성을 고려해야 한다. 둘째, 공간 데이터 간에는 공간 관련성이 존재하기 때문에, 서로 다른 서버에 분산 저장된 공간 데이터간의 공간 관련성을 유지해야 한다. 셋째, 한 클라이언트에서의 변경은 여러 서버 및 다른 클라이언트와의 협동 작업을 통해 수행되어야 한다. 이 논문에서는 클라이언트에서의 공간 데이터 변경을 처리하기 위해 서비스 제공자를 설계, 구현한다. 서비스 제공자는 미들웨어 컴포넌트로써 동일한 인터페이스를 제공하기 때문에, 클라이언트 및 서버의 확장이 용이한 장점을 갖는다. 이 논문에서 제공하는 서비스 제공자는 2PC 기반의 변경 프로토콜에 따라 분산된 서버간에 존재하는 공간 관련성을 유지하면서 공간 데이터의 변경을 수행한다. 즉, 서비스 제공자는 클라이언트에서 변경을 요청한 객체에 대해 공간 관련성 유무를 검사하고, 공간 관련성을 가진 객체를 포함한 서버에 변경 내용을 전파한 후, 협동 작업을 통해 변경을 확정하거나 취소하게 된다.

• 인터넷정보학회논문지
• /
• 제12권6호
• /
• pp.139-147
• /
• 2011

본 논문에서는 일 방향 해쉬 함수 기반의 저 비용 상호 인증 RFID 프로토콜(OHLCAP) 기반의 안전하고 효율적인 수동형 RFID 프로토콜을 제안한다. 제안하는 프로토콜의 기반이 되는 OHLCAP 프로토콜과 지금까지 알려진 OHLCAP의 보안 취약성을 소개하고 분석을 통해 취약성을 제거할 수 있는 방안을 제시한다. 이를 기반으로 제안하는 수동형 RFID 프로토콜을 제안하며, 프로토콜의 계산적 성능과 보안성을 증명한다. 본 논문에서 제안한 프로토콜은 도청 공격, 리더 또는 태그의 위장 공격, 비동기화 공격, 재전송 공격에 안전하며, 태그 추적이 불가능하고 전 방향 안전성 특성을 가진다.

• 정보보호학회논문지
• /
• 제24권3호
• /
• pp.461-475
• /
• 2014

준동형 MAC은 데이터의 무결성을 보호하면서도 제 3자에 의한 데이터 처리를 허용하는 암호학적 개념이다. 본 논문에서는 새로운 준동형 MAC을 제시하고 그 안전성을 증명하도록 한다. 본 논문의 MAC은 정수에 기반하고 있고, 단지 안전한 PRF의 존재성만을 가정하며, 실용적인 Catalano-Fiore 준동형 MAC과 비견할 만한 효율성을 갖는다. 본 방식은 공격자가 MAC 검증 질의를 할 수 있는 환경에서도 위조 불가능하며, 이 안전성은 강한 위조 불가능성을 보이는 방법으로 증명되었다.

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 2013년도 제20회 학술대회 논문집
• /
• pp.3-6
• /
• 2013

이 연구는 인용된 웹자원에서 웹사이트의 지속성을 알아보기 위한 것이다. 연구에서 사용된 데이터는 한국정보관리학회지에 수록된 각 연구논문의 참고문헌이다. 연구논문 대상 참고문헌은 2001년부터 2002년까지이다. 이를 통해 웹페이지의 콘텐츠 효용성을 알 수 있을 것이다.

• 기술혁신학회지
• /
• 제17권1호
• /
• pp.242-263
• /
• 2014

기관간 협력생태계의 효율은 연구기관의 연구생산성에 중요한 영향을 미친다. 특히 서로 다른 전문분야와 자원을 보유한 한국의 정부출연연구기관이 신생융합기술 시대에 선도적으로 대처하기 위해서는 효율적인 협력체제의 구축이 매우 중요하다. 협력활동의 결과로 나타나는 연구성과는 협력네트워크의 구조적 특성에 큰 영향을 받게 된다. 따라서 효율적인 협력생태계의 조성을 위해서는 협력네트워크의 정밀한 분석이 선행되어야 하며 형성되는 네트워크 구조에 대한 정밀한 사전기획이 필요하다. 본 논문은 정부출연연구기관의 협력네트워크의 구조적 특성이 논문발표 성과에 미치는 영향을 분석한다. 2008년부터 2012년까지 한국의 정부출연연구기관이 발표한 SCI논문을 바탕으로 네트워크분석과 패널회귀분석결과, 4가지 네트워크 중심성(연결정도, 매개성, 근접성, 고유벡터)과 구조적 공백이 논문성과에 중요한 영향을 미친다. 4가지의 네트워크 중심성 중 근접중심성과 고유벡터 중심성이 가장 중요한 요소인 것으로 나타났다. 본 연구의 결과는 현재 추진되는 정부출연연구기관의 개방적 협력생태계조성을 위한 정책에 중요한 점을 시사한다. 모든 기관의 협력활동 빈도를 단순히 늘리기 보다는 협력활동이 적은 기관의 협력을 우선 늘림으로써 근접중심성을 제고하는 것이 연구성과 제고에 더 효과적이다. 또한 협력활동이 적은 기관과 기존에 협력이 활발한 기관과의 협력을 우선적으로 추진함으로써 고유벡터중심성을 높이는 것이 출연연구기관의 협력을 통한 연구성과 제고에 더욱 효과적인 것으로 나타났다.

• 한국통신학회논문지
• /
• 제25권7B호
• /
• pp.1178-1184
• /
• 2000

본 논문에서는 셀룰라 이동통신 환경에서 효율적인 사용자 이동성 관리를 위한 계층적 Sub-LA 방식을 제안한다. 효율적인 사용자 위치 추적을 위해서는 위치 등록과 페이징의 총비용을 최소화해야한다. 이러한 총비용은 가입자의 이동성과 호발생율에 크게 의존하다. 또한, 총비용을 최소화하기 위해서는 최적 Location Area(LA) 크기를 구하는 일이 중요하다. 본 논문에서는 기존에 제안된 여러 가지 방식들을 소개하고, 유동적인 이동성 모형을 사용한 fixed LA(FLA) 방식과 distance-based LA(DBLA) 방식에 대한 최적화 기법을 유도한다. 유도된 수치들로부터 세 가지 방식의 성능을 비교, 분석한다. 그리고, 시뮬레이션을 통해 많은 경우에 본 논문에서 제안된 방식인 layered sub-LA 방식이 기존의 방식들의 성능을 능가함을 보인다.

• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2003년도 추계 학술발표회 논문집
• /
• pp.319-324
• /
• 2003

본 논문에서는 matched-pair design에서의 두 처리간 동등성/ 비열등성 검정에 대해 고려하였다. 기존에 비율차이나 risk ratio관점에서 동등성/비열등성 검정을 시행한 것과는 달리, 본 논문에서는 odds ratio에 기초하여 두 가지 검정통계량을 유도하였다. (1) constrained maximum likelihood estimator(mle)를 이용한 fieller type 통계량 (2) 제약없이 구한 mle를 사용한 wald-type 통계량). 비율 차이나 risk ratio에 기초한 기존의 통계적 방법들(비율차이에 근거한 (3) score-type 통계량과 (4) wald-type 통계량, risk ratio에 기초한 (5) fieller-type 통계량과 (6) wald-type 통계량)과 본 논문에서 제시한 두가지 통계량의 성능을 비교하기 위해 모의실험을 시행하였다. 모의실험 결과, 본 논문에서 제안한 constrained mle를 사용한 fieller type 통계량은 empirical type I error 측면에서 매우 만족스러운 결과를 보이고 있으며, 특히 비대각 셀의 확률이 작아질 경우에도 안정적인 성능을 보여준다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제13권6호
• /
• pp.427-431
• /
• 2007

본 논문에서는 어절별 중의성 해소 규칙과 trigram 통계 정보를 이용하는 혼합형 한국어 품사 태깅 시스템에 대하여 기술한다. 어절별 중의성 해소 규칙은 중의성을 가지는 어절들 각각에 대해 정의된 중의성 해소 규칙으로, 현재 중의성을 가지는 어절의 50%에 대해 작성되어 있다. 본 논문의 태깅 시스템은 먼저 보조용언, 숙어, 관용적 표현 등에 해당하는 공통규칙을 적용하고, 그 후에 어절별 중의성 해소 규칙을 적용한다. 마지막으로 중의성이 해소되지 않은 어절은 각 어절을 중심으로 하는 trigram 통계 정보를 이용하여 중의성을 해소한다. 실험 결과는 본 논문에서 제안하는 어절별 중의성 해소 규칙과 trigram 통계 정보를 혼합하여 중의성을 해소 시키는 방법이 높은 정확률과 넓은 처리 범위를 가지고 있다는 것을 보여준다.