• 제목/요약/키워드: 파일 배포

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

SMT-Solver 를 사용한 자바바이트코드의 배열 오버플로우 검증 (A Verification of Array Overflow in Java Bytecode using SMT-Solver)

  • 이상협;김제민;박준석;유원희
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 춘계학술발표대회
    • /
    • pp.261-264
    • /
    • 2011
  • 자바프로그램 검증은 안전하고 정확한 프로그램을 만들기 위한 필수적인 조건이지만 자바언어로 작성된 프로그램은 바이트코드로 작성되어 있는 클래스 파일로 배포되기 때문에 바이트코드에 대한 검증이 필요하다. 하지만 자바 바이트코드는 가독성이 떨어져 중간언어로 변환을 하고 그 중간코드에서 검증에 필요한 조건들을 작성 해야 한다. 이 논문에서는 새로 정의된 중간언어인 BIRS을 통해 컴파일시 검증이 되지 않는 배열 오버플로우에 대한 정적검증을 설명하고 검증 절차에 필요한 명제의 정의와 검증 시 사용되는 SMT-Solver 인 Z3 의 사용법에 대하여 서술하였다.

데이터 중복 제거 기반의 디스크 아카이브 시스템 설계 및 구현 (Design and Implementation of Disk Archive System Exploiting De-duplication Scheme)

  • 강성운;정호민;고영웅;이정근
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2011년도 춘계학술발표대회
    • /
    • pp.204-206
    • /
    • 2011
  • 기존의 TAR와 같은 아카이브 포맷은 파일의 중복을 제거하는 기능이 포함되지 않아 리눅스 배포 미러와 같이 버전단위로 저장되는 시스템에서 디스크 공간의 낭비가 발생했다. 본 연구에서는 중복 제거 기능이 포함된 아카이브 포맷인 DTAR와 이를 지원하는 DTM 유틸리티를 제안하였다. 주요 아이디어는 DTAR 헤더에 SHA1 해시를 삽입하고 SHA1 해시를 노드로 하는 R-B Tree를 생성하여 중복을 검색 및 제거하는 것이다. 실험 결과 DTAR가 tar.gz보다 최대 31% 공간을 절약하고, 수행 시간도 줄어드는 것을 확인하여 효율적임을 보였다.

리눅스 컨테이너를 이용한 웹기반의 DevOps 플랫폼 연구 (A Study on A Web-Based DevOps Platform Using Linux Container)

  • 정근훈;박준석;이극
    • 한국융합학회논문지
    • /
    • 제10권12호
    • /
    • pp.71-80
    • /
    • 2019
  • DevOps는 소프트웨어 개발과 운영의 합성어로 소프트웨어 생명주기 동안 사용되는 다양한 환경과 도구들이 존재한다. DevOps는 서비스를 제공함에 있어 빠르고 안전한 전개가 핵심이다. 이를 위해 Java, C/C++, Python, PHP, Ruby, Node.js, goLang 의 7가지 개발 언어와 전자정부프레임워크, Spring, Struts, DJango, Laravel, Rails, Express의 7가지 프레임워크 서비스를 사전에 제공하는 웹 기반의 통합 IDE를 제안한다. 통합 IDE는 플랫폼 내에서 웹 기반의 에디터를 통해 직접 개발이 가능하며, 리눅스 컨테이너를 이용하여 원 클릭으로 운영환경 이관이 가능하도록 구현하였다. 제안한 플랫폼은 개발 소스에 대해 컴파일 시간, 배포 시간, 배포된 앱의 처리량에 대한 성능 평가가 이루어졌으며, 상용 수준의 클라우드 서비스를 제공할 수 있는 성능을 보여준다.

방송프로그램 보호신호에 기반한 지상파 방송프로그램 보호 시스템 (Terrestrial DTV Broadcasting Program Protection System based on Program Protection Information)

  • 추현곤;이주영;남제호
    • 방송공학회논문지
    • /
    • 제15권2호
    • /
    • pp.192-204
    • /
    • 2010
  • 지상파DTV 방송프로그램의 온라인 상의 불법적인 배포가 활발하게 일어남에 따라, 지상파DTV 방송프로그램에 대한 보호에 대한 필요성이 높아지고 있다. 본 논문에서는 방송프로그램 보호신호(Program Protection Information: PPI)에 기반한 지상파 방송프로그램 보호 시스템 구현 방법을 제안한다. 제안하는 방법에서는 방송프로그램에 포함된 PPI 정보의 재배포 조건에 따라, 방송프로그램을 암호화하여 녹화한 후, 암호화된 방송프로그램과 키 정보 및 프로그램보호신호를 하나의 패키징 파일로 구성하여 저장한다. 녹화된 방송프로그램의 사적복제 기능을 지원하기 위해 도메인 프로토콜을 정의하고, 도메인 등록 절차를 통해 복사 제어 기능을 제공한다. 구현 결과를 통해, 제안한 시스템이 방송프로그램을 효율적으로 보호할 뿐 아니라, 사용자의 사적이용을 지원하기 위한 홈도메인 기반의 제한적인 배포 기능을 제공할 수 있음을 보여준다.

실행코드 암호화 및 무결성 검증을 적용한 안드로이드앱 보호 기법 (A Technique for Protecting Android Applications using Executable Code Encryption and Integrity Verification)

  • 심형준;조상욱;정윤식;이찬희;한상철;조성제
    • 한국소프트웨어감정평가학회 논문지
    • /
    • 제10권1호
    • /
    • pp.19-26
    • /
    • 2014
  • 본 논문에서는 안드로이드 애플리케이션(앱)을 역공학 공격으로부터 방어하는 기법을 제안한다. 이 기법에서 서버는 안드로이드 패키지 파일인 APK 내에 있는 원본 실행코드(DEX)를 암호화하고, 실행 시 이를 복호화 할 수 있는 스텁(stub) 코드를 APK에 삽입하여 배포한다. 스텁 코드는 자신에 대한 공격을 탐지하기 위해 무결성 검증 코드를 포함한다. 사용자가 해당 APK를 설치·실행할 때, 스텁 코드는 자체의 무결성을 검증한 후, 암호화된 원본 실행코드를 복호화하고, 이를 동적 로딩(dynamic loading)하여 실행한다. 앱의 원본 실행코드는 암호화되어 배포되므로 지적재산권을 효과적으로 보호할 수 있다. 또한, 스텁 코드에 대해 무결성을 검증하므로, 제안 기법의 우회 가능성을 차단한다. 우리는 15개의 안드로이드 앱에 제안 기법을 적용하여 그 유효성을 평가하였다. 실험 결과, 13개의 앱이 정상적으로 동작함을 확인하였다.

모바일 환경에서 콘텐츠 추천 시스템 설계 및 구현 (Design and Implementation of a Contents Recommendation System in Mobile Environments)

  • 이락규;피준일;박준호;복경수;유재수
    • 한국콘텐츠학회논문지
    • /
    • 제11권12호
    • /
    • pp.40-51
    • /
    • 2011
  • 인터넷을 통해 배포되는 방대한 양의 콘텐츠에서 사용자의 취향에 적합한 콘텐츠를 제공하는 것은 추천 시스템의 중요한 요소라고 할 수 있다. 이를 위한 기존의 추천 시스템은 사용자의 프로파일과 상황정보를 활용한 알고리즘에만 중점을 두고 연구가 진행되어 추천의 정확도 향상에 크게 기여하였다. 그러나 SP(Service Provider)의 BM(Business Model)에 대한 충분한 검토가 함께 이루어지지 않았기 때문에 SP가 요구하는 추천 시스템의 구축은 기존 연구를 통해 해결하기엔 한계가 존재한다. 이에 본 논문에서는 사용자의 복합 상항정보를 이용하여 CP(Contents Provider)의 콘텐츠를 검색하고, SP의 BM에 적합한 콘텐츠를 추천하기 위해 추천 가중치 기법을 적용한 모바일 추천 시스템을 제안한다. 또한, 제안된 프로토타입 시스템의 검증을 위해 사용자 프로파일과 상황정보를 결합하는 복합 상황 정보와 SP에 의한 추천 가중치를 적용한 놀이기구 추천 서비스를 구현한다.

실시간 의료정보 보호 및 관리를 위한 플랫폼에 관한 연구 (Study of Platform for Real-Time Medical Information Protection and Management)

  • 정창원;이성권;주수종
    • 정보처리학회논문지:컴퓨터 및 통신 시스템
    • /
    • 제3권8호
    • /
    • pp.245-250
    • /
    • 2014
  • 최근 의료기술의 발전으로 인하여 응급의료 서비스가 병원에서 가정으로 변화되고 있다. 이와 관련하여 예방 또는 조기진단을 위한 연구가 활발해지고 있다. 특히, 생체신호를 모니터링하여 다양한 u-헬스케어 응용 서비스에 적용하고 있다. 본 논문에서 제안하는 시스템은 다양한 센서로부터 측정된 의료정보 보호 및 보안 기술을 제안하고자 한다. 특히, 생체신호는 개인의 주요 정보이면서 프라이버시와 관련된 정보이기 때문에 보호 및 관리를 위해 2차원 코드화 기술인 QR 코드를 적용하였다. 클라이언트 단말에서는 QR 코드를 분석하여 확인할 수 있도록 하였다. 끝으로 제안한 플랫폼 상에서 의료영상정보와 생체신호의 통합 이미지 파일 생성과 배포를 확인하는 응용서비스를 통해 수행 결과를 보였다.

블랜디드러닝(Blended Learning)활용방안 - NHK「NEWS WEB EASY」를 중심으로 - (Utilization Plan of Blended Learning - Focused on NHK「NEWS WEB EASY」-)

  • 유미선
    • 한국융합학회논문지
    • /
    • 제10권5호
    • /
    • pp.119-124
    • /
    • 2019
  • 본 연구의 목적은 일본어 중급 단계 학습자들에게 NHK"NEWS WEB EASY"라는 온라인 사이트를 소개하고, 오프라인 수업에서 "NEWS WEB EASY"의 기사를 활용한 수업설계방안을 통해 블랜디드러닝의 효과적인 방법을 제안하는 것이다. 본고에서는 "NEWS WEB EASY"를 활용한 블랜디드러닝을 통하여 첫째, 다양한 어휘 학습능력을 배양하고. 둘째, 다양한 분야의 기사를 통해 일본문화 및 일본사정을 익히고. 셋째, 기사별 리스닝 파일을 통해 자연스럽게 리스닝 트레이닝을 실시하고, 넷째, 후리가나가 없는 파일을 학습자들에게 배포, 검색하게 함으로 한자 읽기연습 및 어휘실력 향상에 도움을 주고. 다섯째, 낭독연습을 통하여 스피킹 실력을 향상시키는 방법에 대하여 제시하였다. "NEWS WEB EASY"를 활용한 학습을 통해 어렵다는 선입견으로 접할 수 없었던 뉴스기사를 학습함에 따라 일본을 이해하고 일본어 실력향상에 많은 도움이 되었다는 사실을 알 수 있었다.

디지털 방송 콘텐츠의 안전한 저장을 위한 Set Top Box와 비대칭 암호 시스템의 결합 (Combination of Set Top Box and Asymmetric Cryptosystem for Secure Storage of Digital Broadcasting Contents)

  • 이혜주;최형기;홍진우
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2003년도 춘계종합학술대회
    • /
    • pp.782-786
    • /
    • 2003
  • 디지털 방송 콘텐츠 시청자에게 콘텐츠의 저장(녹화)을 허용함과 동시에 저작권 침해를 방지하기 위해 저장되는 콘텐츠에 대한 보호 기법이 필요하다. 보호 기법의 한 방법으로 콘텐츠를 암호화하여 저장할 수 있다. 본 논문에서는 Set Top Box에서 암호화를 수행할 수 있도록 방송 서버가 암호화키를 MPEG-2 TS(transport stream) 스트림에 다중화하고 Set Top Box는 수신된 TS로부터 암호화키를 역다중화하여 콘텐츠를 암호화하는 방법을 제안한다. 제안 방법은 MPEG-2 TS로 구성된 파일에 대해 PMT를 수정하여 암호화 키에 대한 정보와 이에 관련된 암호화 키를 다중화하고, 암호화키를 추출하여 암호화를 수행한다.

  • PDF

속성 기반의 USN 센서 노드 동적 재구성 기법 (Attribute-based Dynamic Reconfiguration of USN Sensor Node)

  • 정현준;김주일;길아라;정기원;이우진
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (D)
    • /
    • pp.191-195
    • /
    • 2008
  • 센서 노드 미들웨어는 다양한 센서 응용 소프트웨어와 운영체제 및 네트워크 기능 사이에 존재하며, 유지보수, 설치, 배포, 응용 수행에 필요한 제반 사항을 지원하며, 센서 노드에 탑재되어 센서 네트워크의 프로그램 갱신, 응용 변화에 따른 프로그래밍 조정을 수행한다. 본 논문에서는 센서 노드 미들웨어가 센서 노드의 응용 모듈을 동적으로 재구성하기 위한 방법으로 속성 값 단위의 동적 재구성 기법을 제안한다. 제안하는 기법은 센서 노드의 응용 모듈을 변경해야 할 필요가 있을 경우, 응용 모듈과 관련된 속성의 값을 변경시켜 줌으로써 응용 모듈을 재구성하는 방법이다. 논문에서는 제안하는 동적 재구성의 개념과 동적 재구성을 위한 프로세스 및 알고리즘을 설명한다. 제시하는 기법은 각처에 설치되어 동작중인 센서 노드들을 무선 통신을 이용하여 재구성함으로써 직접 센서 노드들을 떼어내거나 동작을 중단시키지 않고도 재구성함으로써 운영의 편의를 도모할 수 있는 효과가 있다. 또한 속성 값을 통한 동적 재구성방법을 통하여 용량이 큰 이미지 파일 전송으로 인한 통신 오버헤드를 줄이고 그로인해 배터리 소모를 줄 일수 있다.

  • PDF