• 항공우주정책ㆍ법학회지
• /
• 제30권2호
• /
• pp.83-153
• /
• 2015

우리나라의 경제가 더욱 성장하고, 항공기의 수가 점차 증가하면, 항공기 집행사건은 앞으로 늘어날 수 있다. 이 글은 다수의 사례가 축적되어 있는 선박집행에 관한 법리를 차용하여 항공기 집행에 관한 법리를 제시하기 위한 것이다. 항공기, 경량항공기에 대한 집행은 기본적으로 부동산 선박 집행을 준용하고, 초경량비행장치, 외국항공기에 대한 집행은 동산집행방법에 의한다. 항공기 집행에는 강제경매, 임의경매, 유치권에 기한 경매 등이 있다. 항공기에 대한 강제경매는 채권자가 금전의 지급을 목적으로 하는 청구권의 만족을 얻기 위하여 채무자 소유의 항공기에 대하여 행하는 강제집행을 말한다. 항공기에 대한 강제경매는 압류 당시에 그 항공기가 있는 곳을 관할하는 지방법원을 집행법원으로 하고, 이는 전속관할이다. 법원은 경매개시결정을 한때에는 집행관에게 항공기등록증명서 그 밖에 항공기운항에 필요한 문서를 받아 법원에 제출하도록 명하여야 한다. 강제경매개시결정이 있은 날부터 2월이 지나기까지 집행관이 항공기등록증명서등을 넘겨받지 못하고 항공기가 있는 곳이 분명하지 아니한 때에는 집행법원이 강제경매절차를 취소할 수 있다. 채권자 최고가매수신고인 차순위매수신고인 매수인의 동의가 있으면, 법원은 영업상의 필요 그 밖에 상당한 이유가 있다고 인정한 때에는 채무자의 신청에 따라 항공기의 운항을 허가할 수 있다. 법원은 채권자의 신청에 따라 항공기를 감수하거나 보존에 필요한 처분을 할 수 있다. 채무자가 민사집행법 49조 2호 4호의 서류를 제출하고 압류채권자 및 배당요구채권자의 채권과 집행비용에 해당하는 보증을 매수신고 전에 제공한 때에는 법원은 신청에 따라 배당절차 외의 절차를 취소하여야 한다. 항공기를 목적으로 하는 담보권 실행을 위한 경매(임의경매) 절차에는 선박 항공기 강제경매에 관한 규정과 담보권 실행을 위한 부동산 선박 경매에 관한 규정이 준용된다. 임의경매에서는 집행권원이 필요하지 않고, 신청에도 집행력 있는 정본은 요구하지 않는다. 또한, 집행법원이 담보권 및 피담보채권의 존부를 심사하여 담보권의 부존재 무효, 피담보채권의 불발생 소멸 등과 같은 실체상의 하자가 있으면 경매개시결정을 할 수 없다. 나아가 이러한 사유는 매각불허가 사유에 해당하고, 또 이를 간과하여 매각허가결정이 확정되고 매수인이 매각대금을 완납하여 소유권이전등록을 마쳤다 하더라도 매수인은 매각항공기의 소유권을 취득하지 못한다. 집행법원은 여러 대의 항공기 상호간의 이용관계에서 견련성이 있는 경우에 한하여 여러 대의 항공기에 대한 일괄경매를 할 수 있다(대법원 2001. 8. 22.자 2001마3688 결정). 항공기에 대한 유치권자도 경매를 신청할 수 있다. 형식적 경매의 절차는 담보권 실행을 위한 경매의 예에 따라 실시한다. 그러나 공항시설 사용료와 항공기 사이의 견련관계를 인정할 수 없으므로, 공항공사의 항공기에 대한 유치권은 성립하지 않는다(대법원 2014. 4. 10. 선고 2011다29291 판결). 유치권에 의한 경매도 항공기 위의 부담을 소멸시키는 것을 법정매각조건으로 하여 실시되고, 우선채권자뿐만 아니라 일반채권자의 배당요구도 허용되며, 유치권자는 일반채권자와 동일한 순위로 배당을 받을 수 있다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제7권6호
• /
• pp.155-164
• /
• 2018

많은 악성프로그램은 역공학을 막기 위해 다양한 상용 패커를 사용해 압축 혹은 암호화를 했기 때문에 악성코드 분석가는 압축해제 혹은 복 호화를 먼저 수행해야 한다. OEP(Original Entry Point)는 암호화되거나 압축되어 있는 실행파일을 다시 원본 바이너리 상태로 되돌린 후 실행된 첫 번째 명령어의 주소이다. 여러 언패커는 OEP가 나타나기 전까지 패킹된 파일을 실행하며 주소를 기록한다. 그리고 기록된 주소들 중에 OEP를 찾는다. 그러나 일부 언패커에서 제공하는 OEP 후보들은 비교적 큰 OEP 후보 집합을 제공하거나 후보들 중에 OEP가 없는 경우가 있다. 이에 악성코드 분석가들은 더 적은 OEP 후보 집합을 제공하는 도구가 필요한 실정이다. 본 논문에서는 PinDemonium이라 불리는 언패커에 두 가지 OEP 탐지방법을 추가하여 더 적은 OEP 후보 집합을 제공하는 도구를 만들었다. 첫 번째 방법은 패킹된 프로그램이 완전히 원본 바이너리상태로 되돌아 간 후에는 원프로그램 함수 호출과 동일하다는 것을 활용한 OEP 탐지방법이다. C/C++ 언어로 작성된 프로그램은 바이너리 코드로 언어를 변환하는 컴파일 과정을 거친다. 컴파일 과정을 거친 프로그램에는 특정 시스템 함수들이 추가된다. 이 시스템 함수들은 컴파일러 별로 다르다. 컴파일러 별로 사용되는 시스템 함수를 조사한 후, 패킹된 프로그램에서 호출되는 시스템 함수와 패턴매칭하여 언패킹 작업이 끝났는지 탐지하는 방법이다. 두 번째 방법은 패킹된 프로그램이 완전히 원본 바이너리 상태로 돌아간 후 시스템함수에서 사용되는 매개 변수가 원프로그램과 동일하다는 것을 활용한 OEP 탐지방법이다. 시스템함수에서 사용되는 매개변수의 값을 이용해 OEP를 찾는 방법이다. 본 연구는 16종의 상용 패커로 압축된 샘플 프로그램을 대상으로 OEP 탐지 실험을 했다. 본 연구에선 안티 디버깅 기법으로 프로그램을 실행하지 못하는 경우인 2종을 제외하고 PinDemonium 대비 평균 40% 이상 OEP후보를 줄일 수 있었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권4호
• /
• pp.405-414
• /
• 2010

2008년도 SecruityFocus 자료에 따르면 마이크로소프트사의 인터넷 익스플로러를 통한 클라이언트 측 공격(client-side attack)이 50%이상 증가하였다. 본 논문에서는 가상머신 환경에서 능동적으로 웹 페이지를 방문하여 행위 기반(즉, 상태변경 기반)으로 악성 URL을 분석하여 탐지하고, 블랙리스트 기반으로 악성 URL을 필터링하는 시스템을 구현하였다. 이를 위해, 우선 크롤링 시스템을 구축하여 대상 URL을 효율적으로 수집하였다. 특정 서버에서 구동되는 악성 URL 탐지 시스템은, 수집한 웹페이지를 직접 방문하여 머신의 상태 변경을 관찰 분석하고 악성 여부를 판단한 후, 악성 URL에 대한 블랙리스트를 생성 관리한다. 웹 클라이언트 머신에서 구동되는 악성 URL 필터링 시스템은 블랙리스트 기반으로 악성 URL을 필터링한다. 또한, URL의 분석 시에 메시지 박스를 자동으로 처리함으로써, 성능을 향상시켰다. 실험 결과, 게임 사이트가 다른 사이트에 비해 악성비율이 약 3배 많았으며, 파일생성 및 레지스트리 키 변경 공격이 많음을 확인할 수 있었다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제9권1호
• /
• pp.1-12
• /
• 2003

최근 인터넷을 이용한 분산처리와 멀티미디어에 대한 연구가 활성화됨에 따라 일반 사용자에 대한 비디오 컨텐츠의 원활한 제공과 편리한 검색방법이 절실히 요구되고 있는 실정이다. 따라서 본 논문에서는 클립단위의 대표프레임 추출로 인한 비디오 인덱싱 정보를 활용함으로써 실시간으로 비디오 검색 시스템을 지원하는 웹 서비스 시스템을 설계 및 구현한다. 구현된 시스템은 비디오 컨텐츠 제공자의 원활한 서비스를 지원하는 내용기반 인덱싱 시스템과 사용자의 다양한 검색을 지원하는 웹 기반 검색 시스템으로 구성되어있다. 기존의 데이타 순차처리 검색시스템과 달리 인덱싱 시스템은 비디오 분할에 의한 대표 프레임 추출과 연관된 정보의 클러스터링에 의한 클립 과일생성 및 클립단위의 비디오 데이타베이스 구축 방법으로 이루어진다. 대표프레임 추출은 프레임 조정방식과 화질 고정방식을 동시에 채택하여 적용함으로써 고화질이 보장되는 전송환경과 느린 회선에서도 끊김없이 안정적인 스트리밍 서비스를 제공받을 수 있도록 한다. 또한 클립단위로 이루어진 비디오 인덱싱 정보의 검색 시스템은 키워드 질의에 의한 검색 방법과 대표 프레임의 2차원 브라우징 방법 및 클립의 내용을 실시간으로 볼 수 있는 방법으로 이루어진다. 결론적으로 본 논문에서 제안한 시스템은 실제 네트워크 환경에서 보다 안정된 스트리밍 서비스를 제공받을 수 있으며, 클립 기반에서 부분적인 비디오 데이타 검색의 편리성을 제공하기 위해 검색 엔진을 범용으로 사용하는 데이타베이스를 이용함으로써 비디오 내용을 쉽게 검색할 수 있도록 해준다.ons), IPSEC(Internet Protocol Security Protocol) 서비스에 추가될 수 있다., tamoxifen(6.3%) 순으로 나타났다. 항에스트로젠제의 생체내 투여는 estrogen 존재 유무에 따라 estrogen 수용체 농도에 agonist 또는 antagonist로 작용하였다. 항에스트로젠제의 단독투여는 progesterone 수용체 생성을 증가시키나, estrogen에 의하여 유도된 progesterone 수용체 생성을 억제하였다. 이상의 결과로 보아, tamoxifen과 LY117018은 estrogen유무에 따라 흰쥐 자궁세포에서 estrogen antagonist로서 뿐만 아니라 agonist로서도 작용함을 알 수 있다. 그러나 estrogen수용체와의 결합능력이 아주 낮은 tamoxifen은, 용량에 비례하여 estrogen수용체에 결합하므로써 작용하는 LY117018과는 다른 기전으로 작용하는 것으로 생각된다.this entire process is pipelined to reduce I/O node contention dynamically. In other words, the design provides support for dynamic contention management. Then we present a software caching method using collective I/O to reduce I/O cost by reusing data already present in the memory of other

• 한국농림기상학회지
• /
• 제21권4호
• /
• pp.347-357
• /
• 2019

GIS 기반의 농업 기후 자료의 처리 및 분석 체계의 유용성은 클라우드, 온프레미스, 하이브리드 구조와 같은 컴퓨팅 인프라의 신뢰성, 가용성에 영향을 받는다. 현재는 정보 기술 산업에서 클라우드 컴퓨팅의 시대라고 할 수 있을 만큼 클라우드와 관련된 기술이 확산되어 있으나, 장기간의 운영 경험으로 누적된 다양한 참조 사례를 볼 때 온프레미스 기술이 클라우드 기술 보다 유리한 경우도 있다. 또한 클라우드 환경의 경우 초기 비용이 온프레미스와 비교하여 저렴하지만 사용 방법에 따라 매우 높은 비용이 부과될 가능성이 있다. 따라서 각 시스템의 특성에 맞는 적절한 구성법이 고려될 필요가 있다. 본 연구에서는 농업 기후 자료 처리 및 분석 체계에 이용가능한 일반적인 컴퓨팅 플랫폼 4개를 소개하고 대량의 자료 처리 및 저장의 특성을 갖는 응용 시스템을 적용하여 각 플랫폼의 장단점을 비교 분석하였다. 현재로서는 대량의 농업 기상 및 기후 데이터를 필요로 하는 시스템은 비용상의 이유로 퍼블릭 클라우드로의 이주가 불가능함을 확인하였다. 향후 참조될 가능성이 높지 않은 대용량 자료를 클라우드 상에 유지해야 하는 점이 주요 원인이다. 따라서 가장 높은 비용의 저장 및 백업 부분을 클라우드 대신 온프레미스에서 운용하고, 자료의 분석 및 처리 그리고 표출 부분과 같이 유연성이 요구되는 부분은 클라우드에서 운용하는 것이 합리적이다.

• 디지털콘텐츠학회 논문지
• /
• 제16권3호
• /
• pp.389-395
• /
• 2015

디지털이미지는 인터넷환경에서 수많은 편리함을 제공해준다. 디지털 도서관, Stock Image, 개인 사진, 중요정보 등 수많은 응용에서 디지털 이미지를 필요로 하고 있다. 하지만 디지털 이미지는 파일로 되어있어 조작이 매우 쉽다는 치명적 결점을 가지고 있다. 디지털 이미지 위조는 영상 편집 소프트웨어의 쉬운 접근성과 높은 기능성 덕분에 심각한 문제들로 부상되고 있다. 복사-이동 위조는 영상의 일부를 복사하고 동일 영상 내의 다른 위치에 붙여넣기 하는 동작은 포함하는 가장 간단한 형태의 위조이다. 복사-붙여넣기 위조를 검출하는 많은 방법들이 있지만 대부분 한계점을 가지고 있다. 본 논문에서는 시각적, 비시각적 특성에 기반한 위조를 검출하는 방법들이 비교되었다. 분석의 결과는 위의 두 가지 방법이 서로 보환할 수 있는 장점과 단점이 있음을 보였다. 그러므로 시각적, 비시각적 특징에 기반한 하이브리드 위조 검출 방법을 제안하였다. 실험을 통해 제안한 알고리즘이 각각의 기술의 단독 사용에 비해 향상된 성능을 보임을 증명하였다. 더욱이, 복사-복재 영역을 구분하는 것과 같은 위조 검출 기법에 대해 많은 정보들을 제공한다.

• 유기물자원화
• /
• 제2권1호
• /
• pp.31-40
• /
• 1994

축산물소비량(畜産物消費量)이 지속적(持續的)으로 증가(增加)하면서 1980년대 후반(後半)에 와서 가축분뇨(家畜糞尿)의 관리문제(管理問題)가 주요과제(主要課題)로 등장(登場)하였다. 이는 그동안 지속적(持續的)으로 추진된 경제발전(經濟發展)의 결과 국민의 전반적(全般的)인 생활수준(生活水準)이 향상(向上)되면서 경제요인(經濟要因) 이외(以外)에 환경(環境)의 질(質)에 대한 국민적 요청(要請)이 증대(增大)된 까닭으로 초기에는 농촌환경문제(農村環境問題)로만 논의(論議)되던 것이 도시지역(都市地域)의 상수원오양문제(上水原汚梁問題)와 연결(連結)되면서 가축분뇨관리(家畜糞尿管理)의 필요성이 더욱 중요(重要)해지고 있다. 가축분뇨(家畜糞尿)는 고농도(高農度)의 유기물(有機物)로 구성(構成)되어 있어 적절히 관리(管理)되지 않을 경우 지표수(地表水) 오염(汚染), 지하수(地下水) 오염(汚染), 악취(惡臭) 문제(問題) 등을 일으켜 민원(民願)의 대상이 되고 있다. 따라서 본 논문에서는 축산분뇨(畜産糞尿)의 발생(發生) 및 처리현황(處理現況)을 살펴보고 분뇨처리(糞尿處理)에 대한 정부(政府)의 규제와 지원상황(支援狀況)을 검토하여 합리적인 축산분뇨(畜産糞尿)의 자원화방안(字源化方案)을 모색하고자 하였다.

• 전자공학회논문지CI
• /
• 제46권5호
• /
• pp.57-70
• /
• 2009

벡터 데이터 기반의 CAD 설계도면은 대부분 산업 분야에서 매우 주요한 저작물로, 저작권 보호 기술이 매우 필요한 콘텐츠로 인식되고 있다. 본 논문에서는 k-means++ 기반의 CAD 설계도면 워터마킹 기법을 제안한다. 하나의 CAD 설계도면은 여러 레이어들로 구성되며, 각 레이어는 폴리라인, 원, 호, 폴리곤 등의 다양한 기하학 객체들로 구성된다. 이들 기하학적 요소들 중 폴리라인 호 및 쿼드폴리곤 객체들은 CAD 설계도면의 기본적인 객체들로 객체 분포의 거의 대부분을 차지한다. 따라서 제안한 기법에서는 설계도면 내에 폴리라인, 쿼드폴리곤 및 호 객체들 중 가장 많은 수를 가지는 객체를 선택한 후, 이들 객체를 많이 분포하는 레이어들을 선택한다. 그리고 선택된 레이어 내에 객체들을 k-means++ 기반으로 그룹화한 다음, 각 그룹내에 기하학 특징 분포에 워터마크를 삽입한다. 이 때 기하학 특징 분포로는 폴리라인의 정규화된 길이 분포, 쿼드폴리곤의 정규화된 면적 분포 및 호의 각도 분포이다. 실험 결과로부터 제안한 기법이 CAD 도면툴 상에서 제공하는 다양한 기하학 편집과 파일포맷변환, 레이어 공격 등에 대하여 강인함을 확인하였다.

• 인터넷정보학회논문지
• /
• 제17권6호
• /
• pp.93-101
• /
• 2016

안드로이드 폰이 점점 대중화됨에 따라 많은 어플리케이션이 제작자의 이윤과 직결되는 데이터나 스마트 폰 사용자의 민감한 데이터를 다룬다. 이러한 중요 데이터는 당연히 보호받아야 하지만 안드로이드에서는 악의적인 사용자에 의해 조작되거나 공격자에 의해 유출될 수 있다. 이런 일이 발생하는 이유는 안드로이드의 근간인 리눅스의 디버깅 기능이 악용되기 때문이다. 리눅스의 디버깅 기능을 이용하면 다른 어플리케이션의 가상 메모리에 접근하는 것이 가능하다. 이 기능이 악용되는 것을 방지하기 위해선 해당 기능을 제공하는 주체인 리눅스의 커널에서 기존의 접근 제어를 더욱 강화해야 한다. 하지만 현재 이 기능은 안드로이드 환경의 특성을 반영하지 않은 채 기존의 리눅스와 동일한 접근 제어를 사용하고 있다. 이에 본 논문에서는 리눅스가 제공하는 다른 어플리케이션의 가상 메모리에 접근할 수 있는 기능을 분석하고, 분석 결과와 안드로이드 환경을 고려하여 스레드 그룹 ID를 검증하는 새로운 계층을 추가하는 방안을 제시한다. 이 방안을 적용함으로써 접근 제어를 더욱 강화할 수 있다. 실제로 본 논문이 제안한 방법이 접근 제어를 강화할 수 있는 지 확인하기 위해, 다른 어플리케이션의 메모리를 수정할 수 있는 메모리 조작 어플리케이션으로 자체 제작한 어플리케이션의 데이터 수정을 시도한다. 접근 제어를 강화하기 전에는 메모리 조작 어플리케이션이 자체 제작한 어플리케이션의 메모리에 있는 데이터를 수정할 수 있었지만, 접근 제어를 강화한 후에는 데이터 수정에 실패하는 것을 확인할 수 있다.

• 한국컴퓨터정보학회논문지
• /
• 제18권12호
• /
• pp.103-111
• /
• 2013

현재 우리나라의 각종 뉴스는 인터넷에서도 가장 중요한 콘텐츠 일뿐 아니라 언론홍보로써의 중요성도 날로 더해가고 있다. 기업의 각종 뉴스는 신문이나 방송매체를 통하여 보도자료로써 일반인에게 제공되고 있다. 이러한 뉴스가 보도자료화 되기 위해서 기업은 뉴스를 제공할 때 기자를 직접 찾아가거나, 우편, 팩스, 퀵 서비스, 이메일 등의 방법을 이용하는데 이러한 방법들은 시간, 인력, 비용 그리고 파일이 손상되는 문제점을 가지고 있다. 또한 기업측에서는 보도자료가 어떤 내용으로 기사화되었는지 확인하는 절차가 번거롭고, 언론사 측에서는 취재하고 싶은 기업에 대해 취재 요청과 기사 내용에 대해서도 수시로 기업측과 연락을 해야 하는 문제점이 있다. 따라서 본 논문에서는 이와 같은 문제점들을 해결하기 위해서 기업측은 언론사측에 보도자료를 배포하고 기사화한 내용을 쉽게 확인할 수 있으며, 언론사측은 기업측에 취재 요청을 간단하게 수행할 수 있는 배포시스템과 언론사나 포털 기사들 속에서 기업의 보도자료를 수집하는 수집로봇을 설계하고 구현하고자 한다.