• 정보처리학회논문지D
• /
• 제16D권3호
• /
• pp.417-422
• /
• 2009

학술적 중요성 이외에 실무적으로도 정보시스템 효과성 측정을 위한 측정지표의 타당성 검증은 중요하다고 할 수 있다. 최근 정보시스템 또는 정보기술에 대한 투자가 급증함에 따라 민간기업에서도 IT 투자의 비즈니스 가치에 대한 관심이 높아지고 있다. 한편 민간부문뿐만 아니라 공공부문에서도 한정된 국가예산을 가지고 투입되는 정보화 부문에 대한 투자효과 평가의 필요성이 부각되고 있다. 최근 여러 정부부처별로 진행되고 있는 공공 정보화사업의 체계적이고 비교가 가능한 성과평가를 위해서 공공정보시스템 효과성의 개념을 정의하고, 이를 측정하기 위한 측정지표의 개발 및 타당성 검증이 요구되고 있다. 이에 따라 행정정보DB구축사업을 대상으로 공공정보시스템 효과성 측정지표의 타당성을 검증해 보았다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.106-109
• /
• 2002

무선 통신의 발달로 무선 단말기 상에서 서명 생성 및 검증과 메시지의 암호화와 복호화 등의 연산의 필요성이 대두되었다. 하지만, 무선 통신이라는 특성상 적은 메모리 용량을 사용해서 빠른 연산을 수행하고, 적은 통신량을 보장해야 한다. 이러한 무선 단말기의 제약사항은 서명과 암호화를 함께 하는 Signcryption 개념과 ECC 기반의 연산을 수행하여 해결할 수 있다. 또한 네트워크상에서의 정보보안을 위해 설치된 방화벽을 통과하기 위해서는 서명의 검증이 필요한데, 서명된 메시지를 암호화 해서 보낼 경우 서명 검증시 수신자의 비밀키가 있어야 메시지를 복원해서 서명을 검증할 수 있기 때문에 이 점을 보완하기 위해 본 논문에서는 서명 검증시에 평문이 필요없는 ECC 기반의 signcryption 방식을 제안한다.

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

본 논몬은 원본 DTD에서 사용자 요구에 따르는 파생 DTD를 생성, 관리하는 시스템을 설계함으로써 사용자 요구에 적합한 유효한 XML 문서의 생성 및 검증을 효율적으로 처리하는 시스템을 개발하고자 한다. 본 시스템은 원본 DTD에서 파생 DTD를 생성하여 클라이언트에서 생성된 XML 문서에 대한 유효성을 검증하고, 사용자 질의의 결과로 생성된 서버측의 XML 문서에 대한 유효성을 효율적으로 검증하는 기능을 지원하고 있다. 여기서 사용되는 파생 DTD는 사용자 요구를 받아서 하나의 원본 DTD에서 파생 DTD 생성 알고리즘에 의해 생성된다. 이렇게 생성된 파생 DTD로 XML 문서를 DOMAPI의 에러 체크 메소드를 통해 XML 문서가 유효한고 정확한지 검증한다. 이러한 절차를 통해서 유효성을 검증받은 XML 문서를 유효한 데이터로서 관리한다. 이러한 절차를 통해 클라이언트와 서버 사이에서 전송하는 XML 문서의 유효성 및 정확성을 보장할 수 있을 뿐만 아니라, 클라이언트에서 만든 XML 문서를 파생 DTD를 이용해 유효성을 보장하여 다른 클라이언트에 보낼수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.301-303
• /
• 2006

RFID기술은 RF를 이용하여 자동적으로 사물의 정보를 획득할 수 있는 매우 편리한 기술이다. 하지만 악의적인 공격자에 의해 사물의 의도적으로 노출이 될 수 있는 문제를 지니고 있다. 이러한 RFID 시스템의 보안적 취약점을 보안하기 위해 많은 프로토콜들이 제안되었지만, 아직까지 완벽하게 보안성과 경제성을 모두 만족시키지 못하였고, 직관적인 방법에 의해 제안 프로토콜들을 검증하여 명확한 검증이 이뤄졌다고 할 수 없다. 본 논문에서는 새로운 RFID 인증 프로토콜을 제안하고 직관적인 검증이 아닌 정형기법을 이용하여 프로토콜의 보안성을 검증하였다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2014년도 제50차 하계학술대회논문집 22권2호
• /
• pp.9-12
• /
• 2014

이 논문에서는 ISO/IEC JTC 1/SC 32/WG 2에서 개발한 메타데이터 관리 표준에 대한 검증 및 활용성 향상 방안을 제안한다. 메타데이터는 데이터의 데이터라고 정의하며 데이터를 표현하기 위한 다양한 데이터를 의미한다. 메타데이터는 데이터에 대한 해석 및 처리를 보다 용이하게 하기 위한 정보로서, 데이터에 대한 정확한 이해를 통해 데이터 불일치 문제를 해결하기 위해 이용된다. ISO/IEC JTC 1/SC 32는 데이터 교환 및 관리를 위한 표준을 개발하며 특히 WG 2는 메타데이터 관리를 위한 다양한 표준을 개발한다. WG 2에서 다양한 많은 표준을 개발하였으나 검증 및 활용성 측면에서 몇 가지 한계를 지닌다. 따라서 이 논문에서는 WG 2에서 개발한 표준에 대한 검증 및 활용성 향상을 위한 방안에 대하여 서술한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 1999년도 추계종합학술대회
• /
• pp.312-321
• /
• 1999

인터넷의 급속한 보급과 더불어, 인터넷의 응용분야가 다양화됨에 따라 정보통신관련 S/W 들의 규모와 성능면에서 복잡하고 고도화된 시스템 및 소프트웨어를 요구하고 있다. 따라서 사용자의 요구사항을 충족하는 신뢰성 있는 통신 프로토콜 소프트웨어를 개발하는 방법에 대한 중요성이 커지고 있다. 본 고에서는 이용자의 요구사항에 대한 설계단계의 검증을 위하여, SDL을 위한 정형기법 지원도구 중 명세 상에서 행위 부분에 대한 동적 특성을 검증하는 검증기 개발과 SDL Editor 기능과 관련된 도구들과 통합하여 사용자들이 쉽고 편하게 쓸 수 있도록 통합환경 구현을 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (B)
• /
• pp.258-263
• /
• 2007

임베디드 시스템은 그 복잡도가 나날이 증가하고 있는데, 특히 기능성 외에 주어진 시간 제약 조건을 만족해야 한다는 점에서 개발 및 검증이 어렵다는 특징을 갖고 있다. 특히 검증에 대해서는 많은 경우에 적당한 시나리오들을 잡아 반복적인 시뮬레이션을 하는 방법을 사용하는데, 이 방법은 많은 시간이 걸리며, 적당한 시나리오들을 잡기 어렵다는 문제 또한 가지고 있다. 본 논문에서는 데이터플로우 모델과 유한상태기계 모델을 확장하여 시스템에 자원 사용 정보 및 시간 제약 조건을 명세하고, 이 모델들에 기반한 정적 시간 분석 방법을 제시하고 있다. 본 논문에서 제시한 방법을 통해 검증 시 자동으로 필요한 시나리오들에 대해 검증을 수행할 수 있으며, 시뮬레이션 등 긴 시간이 걸리는 검증 방법을 최소한으로 사용할 수 있다는 이점을 얻을 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.358-360
• /
• 2004

웹 응용은 현재 가장 빠르게 성장하고 있고 사회에 미치는 영향이 큰 분야이다. 잘 못 동작하는 웹 응용은 사회적은 큰 손실이 될 수 있다. 이에 웹 응용의 검증 방법의 중요성이 대두되고 있다. 검증 방법으로는 코드 분석과 테스팅이 있다 허나 시장에 제품이 출시되는 시간이 매우 짧고, 관련 기술의 발달이 빠른 웹 응용 개발의 특성상 코드 분석은 왜 정확한 검증 결과를 얻을 수는 있으나 적절하다고는 할 수 없다 따라서 테스팅을 검증 방법으로 사용하게 된다. 그렇다고 해도, 테스팅에 들이는 시간과 노력이 코드 분석과 비슷하다면 이 또한 적절한 검증 방법이라고 할 수 없다. 테스팅의 비용을 줄여 전체적인 개발 비용을 줄이는 것이 필요하다 테스팅의 비용은 테스트 케이스를 수행하는 시간과 테스트 케이스로 생성, 분석하는 시간으로 측정 가능하다. 이 논문에서는 이 시간들을 줄이기 위해 전체 웹 응용의 경로 중 사용빈도가 높은 경로를 테스트 케이스로 타여 테스트 케이스 실행 시간을 줄이고, 각 페이지에 안는 입력 값으로 빈도가 높은 사용자 세션 정보를 이용하여 테스트 케이스의 생성을 자동으로 할 수 있게 하여 테스터가 직접 테스트 케이스를 생성하는 것보다 시간을 줄였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.1008-1011
• /
• 2010

스마트폰 어플리케이션 오픈마켓은 누구나 자유롭게 어플리케이션을 개발하여 등록하고, 사용자가 원하는 어플리케이션을 구매하여 사용할 수 있다. 이러한 시스템은 어플리케이션 시장을 활성화시킨 반면 많은 보안상의 위협을 야기한다. 이러한 문제점을 해결하기 위해 여러 방안이 제시되고 있는데, 본 논문에서는 어플리케이션을 등록할 때의 검증절차를 보다 효율적으로 개선하기 위한 보안등급 세분화를 연구하였다. 개발자가 어플리케이션을 마켓에 등록 시 적절한 검증 등급을 설정하여 검증시스템의 효율을 높이고, 마켓에서 등록된 어플리케이션에 검증된 보안 등급 정보를 제공함으로써 사용자에게 구매할 어플리케이션의 안정성을 판단할 근거를 제공해 준다.