추가담보제공을 조건으로 보전명령을 인가한 결정의 효력

권창영 대한변호사협회 2009 人權과 正義 : 大韓辯護士協會誌 Vol.- No.396

In the objection case against a preservative order(a provisional seizure order or a provisional disposition order of the article 300(1) of the Civil Execution Act), the court sometimes makes the order which approves the original order on condition that the obligee supplies additional guaranty for the obligor on the ground of the article 286(5) of the Civil Execution Act. The purpose of this study is designed to discuss the method of the proof of obligee’s supplying additional guaranty to the court of execution or an execution officer, the effect of obligee’s non-performance of supplying additional guaranty, and the remedy for the failure of fulfillment of condition. Such order is one of the order of alteration, because the court approves the preservative order on condition that the obligee supplies additional guaranty. The meaning of the order of alteration is that the validity of preservative order continues only if the obligee supplies additional guaranty within the period. Unless the obligee supplies additional guaranty within the period, the validity of a preservative order goes extinct. In Germany, unless the obligee supplies additional guaranty within the period, the obligor can be protected by the method of the objection against execution on the ground of the article 766 of the Civil Procedure Code. In Japan, the obligor can be protected by the method of the objection against execution or the revocation of a preservative order due to changes in circumstances until 1970. Between 1971 and 1990, the obligor can be protected by the method of the revocation of a preservative order due to changes in circumstances. But the article 44 of the Civil Preservative Measures Act declares that the obligor could be protected by the method of the revocation of a preservative execution from 1991. As the failure of supplying additional guaranty makes the validity of a preservative order extinct, sustaining the preservative execution is illegal on it. The exemplification of such order is one of the exemplification of ordering a revocation of the execution disposition on the article 49(a) of the Civil Execution Act. In result, the obligor may file a request for the revocation of a preservative execution by submitting the exemplification of such order. If the court of execution or an execution officer reject the revocation, the obligor may file an objection against execution on the article 16 of the Civil Execution Act. But the revocation of a preservative order due to changes in circumstances on the article 288 or 301 of the Civil Execution Act could not be accepted because of the defect of standing. 민사집행법 제286조 제5항에 근거하여 채무자가 보전명령에 대하여 이의를 제기한 경우 채권자가 추가로 담보를 제공하는 것을 조건으로 보전명령을 인가하는 재판례가 자주 있다. 이 글에서는 독일과 일본의 논의를 참조하여 위와 같은 결정이 있는 경우 채권자가 담보를 제공하고 이를 집행기관에 증명하는 방법, 채권자가 조건을 준수하지 아니한 경우의 효과, 채무자가 채권자의 조건미준수 시 선택할 수 있는 구제방법 등에 관하여 살펴보았다. 위와 같은 결정은 추가담보제공조건부로 보전명령을 인가한 것이므로 變更決定의 일종이다. 법원이 담보제공조건부로 보전명령을 인가한다는 의미는 채권자가 裁定期間 내에 담보를 제공한 경우에 한하여 보전명령의 효력을 존속시킨다는 것이다. 따라서 담보의 미제공은 보전명령의 효력을 소멸시키는 해제조건이다. 법원이 담보제공조건부로 보전명령을 인가하였으나 채권자가 담보를 제공하지 아니한 경우, 독일의 학설과 판례는 채무자는 ‘執行方法에 관한 異議’를 제기하여 권리를 구제받을 수 있다는 입장을 취하고 있다. 일본에서는 1970년 이전에는 ’執行에 관한 異議’나 ‘事情變更에 의한 保全命令의 取消’ 모두 가능 하다는 것이 통설이었으나, 1970년 이후에는 사정변경을 이유로 한 보전명령의 취소만이 가능하다는 견해가 등장하였다. 그러나 1991년부터 시행된 民事保全法은 채무자의 부담을 경감하고 신속하게 채무자를 해방시킬 수 있는 ‘保全執行의 取消’라는 간이한 제도를 제44조에서 신설하여 위와 같은 문제를 입법적으로 해결하였다. 위와 같은 결정에 대하여 채권자가 裁定期間 내에 담보를 제공하였다는 것을 증명하지 아니하면 보전명령의 효력은 상실되므로, 효력이 상실된 보전명령에 기하여 보전집행을 유지하는 것은 위법하게 된다. 따라서 조건부인가결정정본은 민사집행법 제49조 제1호 소정의 ‘집행처분의 취소를 명한 취지를 적은 재판의 정본’에 해당하므로, 채무자는 집행기관에 위 정본을 제출하여 집행의 취소(해제)를 구할 수 있고, 만약 집행기관이 집행취소를 거부하는 경우 민사집행법 제16조에 의하여 집행에 관한 이의를 제기할 수 있다고 보아야 한다. 한편, 채권자의 담보미제공으로 보전명령의 효력이 상실된 이상, 채무자는 더 이상 보전명령의 취소를 구할 이익이 없다. 다만, 가처분명령의 취소와 동시에 원상회복재판이 필요한 경우(민사집행법 제308조), 집행이 이루어지지 아니한 보전명령 등의 경우에는 채무자는 집행에 관한 이의에 의하여 구제받을 수 없으므로, 예외적으로 사정변경에 의한 보전명령의 취소가 허용된다고 보아야 한다.

디지털 증거의 보전명령제도에 관한 고찰

이용 ( Yong Lee ) 법조협회 2015 法曹 Vol.64 No.12

As revolutions in science and information technology have made profound changes in society, many tasks have become easier than ever to handle. Such changes, however, have also given birth to the emergence of new types of crimes and modern spinoffs of traditional crimes by means of new technology. Information and electronic communication flow more easily around the world and criminals are able to reach more parts of the world without ever having to travel themselves. With several keystrokes, criminals can commit malfeasance that can affect everyday citizens on local, national, and global levels without ever having to leave the comfort of their own homes. This new wave of crime challenges the existing legal system and principles. Criminal law must keep abreast of these technological developments which offer highly sophisticated opportunities for the misuse and abuse of cyberspace. The international legal community launched the Convention on Cybercrime aiming to meet these global challenges while respecting human rights in this new information society. The preservation order is an important investigative tool in addressing so called high-tech crime; especially crimes committed through the Internet because of the volatility of digital data. A preservation order of digital evidence(evidence in digital or electronic form) is a legal instrument that equips law enforcement in the fight against cybercrime and misuse of internet technology. A preservation order ensures that authorities are able to order or similarly obtain the expedited preservation of digital evidence in connection with a specific criminal investigation or legal proceeding. Although preservation orders were introduced more than a decade ago, there has been hardly any debate or in-depth research on such orders. For this reason, this paper intends mainly to cover the language of preservation orders stipulated in the Convention (which has been leading voice in constructing the legal framework to ensure an efficient instrument necessary for the fight against crimes). In addition, legal regimes of advanced states such as United States, Germany and Japan will be discussed. This paper will also review criminal procedure revision bills from the 18th and 19th National Assembly that prescribe preservation orders as one of several newly introduced vehicles to cope with the evolution and advent of state-of-the-art technology crimes. These legislative endeavors are expected to spark intense arguments on the need for proper legal instruments, including preservation orders, required to protect society against challenging, complex cybercrimes. Such discussion and debate will bear much valuable fruit in the near future to meet the challenges of the war against cybercrime.

문자열 집합의 순위주기와 순위경계 병렬 계산

김영호,심정섭 한국정보과학회 2019 정보과학회논문지 Vol.46 No.12

Given two strings of the same length over an integer alphabet, those two strings are order-isomorphic when they have the same relative ranks. When strings order-isomorphic to T[1..p](1≤p≤n) are periodically repeated in T, a representation of the order relations of T[1..p] is referred to as an order-preserving period of T. When a prefix T[1..q](1≤q≤n) of T is order-isomorphic to a suffix T[n-q+1..n] of T, a representation of the order relations of T[1..q] is called an order-preserving border of T. The lengths of all order-preserving periods (resp. all order-preserving borders) of T can be computed in O(nlogn) time using the Z-function. Given a set S={S₁,S₂…,Sr} of strings of length n over an integer alphabet, we propose parallel algorithms computing the lengths of all order-preserving periods and all order-preserving borders of S using O(rn) threads in O(n) time by the Z-function. When compared to each sequential algorithm for Dow Jones Industrial Average, the experimental results show that our parallel algorithm for computing the lengths of all order-preserving periods (resp. all order-preserving borders) of S runs approximately 3.47 (resp. 3.41) times faster when r=1,000, n=10,000. 정수알파벳으로 구성된 같은 길이의 두 문자열이 주어졌을 때, 두 문자열의 상대적인 순위가 같으면 두 문자열은 순위동형이라 한다. 문자열 T(lTl=n)의 접두사 T[1..p](1≤p≤n)와 순위동형인 문자열이 T에서 주기적으로 반복되어 나타나면, T[1..p]의 순위관계표현을 T의 순위주기라 한다. 만약 T의 접두사 T[1..q](1≤q≤n)와 접미사 T[n-q+1..n]이 서로 순위동형이면, T[1..q]의 순위관계표현을 T의 순위경계라 한다. T의 모든 순위주기, 순위경계의 길이는 Z-함수를 이용하여 각각 O(nlogn) 시간에 계산할 수 있다. 본 논문에서는 정수알파벳으로 구성된 길이가 n인 문자열들의 집합 S={S₁,S₂…,Sr}이 주어졌을 때, S의 모든 순위주기, 순위경계의 길이를 각각 O(rn)개의 스레드를 이용하여 O(n) 시간에 계산하는 Z-함수 기반 병렬알고리즘을 제시한다. 실험결과, r=1,000, n=10,000일 때, 다우존스지수 데이터에 대해 S의 모든 순위주기, 순위경계의 길이를 계산하는 병렬알고리즘은 각각 기존의 순차알고리즘보다 약 3.47배, 약 3.41배 빠르게 수행되었다.

미국의 임시제한명령(Temporary Restraining Order) 제도와 韓·中양국에서의 도입에 대한 고찰

장지화 대한변호사협회 2019 人權과 正義 : 大韓辯護士協會誌 Vol.- No.482

In order to avoid significant damages to the creditors in a contested rights relationship, South Korea applies the “Provisional Disposition to Fix Temporary Status” system, while United States applies the “Preliminary Injunction Order(PI)” and “Temporary Restraining Order(TRO)”. In China, “Advance Enforcement” system and “Act Preservation” system are playing the similar role. Although they are provisional dispositions, they require careful handling because they could settle disputes with acting on the right relation before the case on the merits. Therefore by the Civil Execution Act of South Korea, in the judgment on the provisional disposition to determine temporary status, the date of pleadings or the date of examinations joinable by the debtor shall be opened. It means that in this kind of provisional disposition, should on notice to the adverse party. In the U.S., PI is similar to the Korean “Provisional Disposition to Fix Temporary Status” system, and it requests that the court may issue a PI only on notice to the adverse party. But in the case of giving notice will lead the purpose of provisional disposition is not attainable, The Act of South Korea applies a proviso that allows issuing without notice. In comparison, in the U.S., TRO can be rendered without notice, and it seems like the proviso applied in the Act of South Korea. However, they are quite different. The proviso applied in the Korean Act is just a kind of special process of provisional disposition to determine status, so even though using the proviso, it’s still a type of provisional disposition to determine status. In opposite, in the U.S., TRO is used to protect a moving party who has a serious financial hardship to provide remedy from the court which is faster than PI. It’s like an emergency oil tank in the car for long distance driving, which available before getting to the gas station(PI). As PI being a gas station and TRO being a small oil tank, they are individual systems. It means that the Korean civil justice system only has gas stations but don’t have small oil tanks which could provide the remedy to a moving party who has a serious financial hardship. Such lack of protection leads the discussion on adopting TRO to the Korean system. By contrast, Chinese Civil Process Law provides the remedy to a moving party who has a serious financial hardship before the case on merits through “Advance Enforcement” system. However, it is not a preservative(or a provisional disposition) method, but merely a special execution method. And this system is being criticized because of doing the execution before the sentence violates the basic logic of law. In addition, in China, although the Act Preservation” system is playing a similar role with the Korean “Provisional Disposition to Fix Temporary Status” system, it’s usually ordered without notice. The worse is, judges can ex officio order such even without a party’s request. Therefore, it is worth discussing the introduction of the TRO system in China. Futhermore, there are issues that South Korea and China to resolve on how to introduce TRO in their countries. In South Korea, the most problematic thing is the moving party’s system abusing, while in China the most one is the court’s power abusing. And we aim to find to a solution in the social credit system that is currently being built in China. 다툼 있는 권리관계에 있어서 채권자에게 끼치는 현저한 손해를 긴급하게 구제하기 위하여 한국은 임시지위를 정하기 위한 가처분제도(임시지위가처분)를, 미국은 예비적 유지명령 제도(Preliminary Injunction Order, PI)와 임시적 제한명령 제도(Temporary Restraining Order, TRO)를, 중국은 선여집행(先予執行) 제도와 행위보전(行為保全) 제도를 두고 있다. 이러한 가처분은 비록 임시적이지만 본안소송에서 다투는 권리관계에 관한 분쟁을 본안소송에 앞서 본질적으로 해결해 줄 수 있기 때문에 신중한 처리가 필요하다. 때문에 한국의 민사집행법의 임시지위가처분은 가압류나 다툼의 대상에 관한 가처분과 달리 가처분 재판에는 변론기일 또는 채무자가 참석할 수 있는 심문기일을 열어야 한다고 규정하여 임시지위가처분 전 피신청인에 대한 통지를 요구하고 있다. 미국도 한국의 임시지위가처분과 유사한 PI의 발령은 반드시 피신청인에게 통지해야 한다고 규정하고 있다. 하지만 통지를 하면 그러한 가처분의 목적을 달성할 수 없게 되는 상황이 존재하기에, 이를 대비하여 한국은 단서(但書) 조항으로 이러한 경우에는 통지하지 않는다고 규정하였다. 이에 비해 미국의 TRO도 피신청인에게 통지를 하지 않고 한다는 점에서는 한국의 단서조항과 유사하나 양자는 현저하게 다르다. 한국의 단서조항은 임시지위가처분을 진행하는 과정에서 특수하게 적용되는 절차에 불과다. 때문에 단서 조항을 적용하였더라도 임시지위가처분이 아닌 다른 가처분이 형성되는 것은 아니다. 반면 미국의 TRO는 생계가 매우 어려운 긴급한 상황에 부닥쳐 있는 신청인에게 법원으로부터 PI보다 더 빠른 구제를 받을 수 있게 하고자 하여 설계된 제도이다. 이는 마치 장거리 운전 중 PI라는 주유소를 찾기 전에 차에 둔 비상용 기름통과 같아서 PI와 다른 별도의 제도로 보아야 한다. 즉 한국의 제도에는 주유소만 있을 뿐 신청인의 생계가 위급한 상황을 대비하여 마련된 비상용 기름통이 없다는 점에서 미국의 TRO제도의 도입을 논해볼 필요가 있다. 반면 중국은 생계가 어려운 신청인을 대상으로 하여 본안 판결 전에 구제해주는 선여집행 제도가 존재하나, 이는 특수한 집행제도일 뿐 보전처분 차원에서의 제도가 아니다. 따라서 동 제도는 본안 판결 전에 집행을 하기에는 법학의 기본 논리에 어긋나는 제도로 비판을 받고 있다. 또한 중국의 행위보전은 한국의 임시지위가처분과 유사함에도 불구하고, 피신청인에 대한 통지 없이 행위보전을 할 수 있고, 뿐만 아니라 법관이 신청인의 신청 없이도 직권으로 행위보전을 할 수 있다는 점에서 문제가 있다. 따라서 중국에서도 TRO제도의 도입을 논해볼 가치가 있는 것이다. 나아가 한국과 중국에서 어떻게 TRO를 도입하는가에 대해, 한국에서 해결해야 할 것은 채권자의 신청 남용 문제이고 중국에서는 법원의 직권남용 문제인데, 이는 현재 중국에서 구축하고 있는 사회신용체계 도입을 통해 해결할 수 있을 것이다.

디지털 증거의 긴급한 보전을 위한 법제 개선 연구

노소형(Sohyong Ro),지성우(Sungwoo Ji) 한국IT서비스학회 2020 한국IT서비스학회지 Vol.19 No.3

The proportion of digital evidence in criminal cases has increased, while at the same time, the spread of the Internet has made it easy to delete information that is stored in another place and thus, the Internet is being used to delete online criminal evidence. To respond quickly and effectively to cybercrime, 29 countries signed the Convention on Cybercrime in 2001 through the Council of Europe. Article 16 of the Convention relates to the expedited preservation of stored computer data and requires signatories to adopt legislative measures to enable its competent authorities to order expeditious preservation of specified computer data where there are grounds to believe that the data is particularly vulnerable to loss or modification. More than 60 countries have joined the Convention since 2001 and have made efforts to improve their legal system in line with it. The United States legislated 18 U.S.C. § 2703(f) to preserve electronic evidence pending the issuance of a court order. The German Code of Criminal Procedure §§ 94~95 allows prosecution authorities to seize evidence or issue production orders without court control in urgent circumstances. A custodian shall be obliged to surrender evidence upon a request that evidence be preserved, and non-compliance results in punishment. Japan legislated the Criminal Procedure Act § 197(3) and (4) to establish a legal base for requesting that electronic records that are stored by an ISP not be deleted. The Korean Criminal Procedure Act § 184 outlines procedures for the preservation of evidence but does not adequately address the expeditious preservation of digital evidence that may be vulnerable to deletion. This paper analyzes nine considerations, including request subjects, requirements, and cost reimbursement to establish directions to improve the legal system for the expedited preservation of digital evidence. A new method to preserve online digital evidence in urgent cases is necessary.

암호화 데이터 상에서 효율적인 질의처리를 위한 주기함수 기반 그룹순서 보존 암호화 기법

이현조(Hyunjo Lee),장재우(Jae-Woo Chang) 한국정보과학회 2014 정보과학회논문지 : 데이타베이스 Vol.41 No.3

클라우드 컴퓨팅 기술 발달에 따라 데이터베이스 아웃소싱이 활성화되고 있으며, 이에 따라 민감한 개인정보가 공격자, 특히 서비스 제공자에 의해 노출될 위험이 증가하고 있다. 따라서 아웃소싱에서 개인정보의 노출을 방지하기 위해서는 서비스 제공자에게 데이터베이스를 아웃소싱하기 이전에 데이터를 암호화하는 것이 필수적이다. 한편, 기존 대부분의 암호화 기법들은 질의처리시 복호화를 수행하기 때문에 대용량 암호화 데이터 처리시 많은 시간이 소요되는 단점이 존재한다. 따라서 이러한 문제점을 해결하기위해 순서 보존 암호화 기법이 제안되었다. 순서 보존 암호화 기법 중 최근 연구로는 Programmable Order-Preserving secure Index Scheme (POPIS) 기법이 존재한다. 이 기법은 암호화된 값들의 순서를 원본 데이터에서의 순서와 동일하게 보존하면서 원본 데이터를 보호할 수 있으며, 데이터에 대한 복호화 없이 서비스 제공자가 질의 처리를 수행할 수 있게 된다. 그러나 POPIS는 순서 및 데이터 빈도에 의해 원본 데이터가 노출될 위험이 존재한다. 따라서 본 논문에서는 데이터 보호도 및 질의처리 성능 향상을 위한 주기함수 기반 그룹순서 보존 암호화 기법을 제안한다. 제안하는 기법은 데이터 그룹화 및 주기함수를 이용하여 암호화 시그니처를 생성한다. 이를 통해 그룹 간 순서 보존 및 데이터 보호를 보장한다. 성능평가를 통해 제안하는 기법이 기존 기법보다 데이터 보호도 측면에서 우수한 성능을 나타냄을 검증한다. Due to advancement in cloud computing technology, the private information of outsourced databases can be exposed by the malicious attackers, i.e., service providers. To resolve the problem, it is important to encrypt the database prior to outsourcing it to service providers. However, most existing data encryption schemes cannot process a query without decrypting the encrypted databases. Moreover, because the amount of the data is large, it takes too much time to decrypt all the data. For this, order-preserving encryption schemes were proposed. One of the recent work is Programmable Order-Preserving secure Index Scheme(POPIS). This scheme hides the original data while keeping the order of the encrypted values the same as that of the original data. So the service provider can process queries without decryption. However, because the encrypted data in POPIS is sorted by certain column values, it is weak to both order matching attacks and count attacks. To solve this problem, we propose a group order preserving data encryption scheme based on periodic functions (GOPES). Our GOPES generates encryption signatures based on data groups and periodic functions. With this, we can preserve the order of each data group and also can guarantee the data privacy. Finally, we show from the performance analysis that the proposed scheme is better in terms of the degree of privacy protection than the existing scheme.

Z-함수를 이용한 순위패턴매칭과 순위다중패턴매칭 병렬계산

신유건(Youkun Shin),김영호(Youngho Kim),심정섭(Jeong Seop Sim) Korean Institute of Information Scientists and Eng 2018 정보과학회논문지 Vol.45 No.8

Given a text T of length n and a pattern P of length m, the order-preserving pattern matching problem is to find all substrings in T which are order-isomorphic to P. Given a text T of length n and a set of patterns W={P₁, P₂,…, P<SUB>b</SUB>}, the order-preserving multiple pattern matching problem is to find all substrings in T which are order-isomorphic to patterns of W. In this paper, we present two parallel algorithms based on the Z-function. The first algorithm for the order-preserving pattern matching problem runs in O(m) time using O(n+hm) threads and the second algorithm for the order-preserving multiple pattern matching problem runs in O(n+M) time using O(b(n+M)) threads, where h is the number of blocks and M is the length of the longest pattern in W. Experimental results show that our parallel algorithm for the order-preserving pattern matching problem is approximately 71.2 times faster than the sequential algorithm when m=10 and n=1,000,000, and that our parallel algorithm for the order-preserving multiple pattern matching problem is approximately 12.2 times faster than the sequential algorithm when b=1,000, m=10, and n=1,000.

영어와 스칸디나비아어 연속 순환 이동과 어순 보존

이광호 경희대학교 언어정보연구소 2009 언어연구 Vol.26 No.2

Lee, Kwangho. 2009. Successive Cyclic Movement in English and Scandinavian and Order Preservation. Linguistics Research 26(2), 15-30. Fox & Pesetsky (2005) proposed a theory of cyclic linearization to account for successive cyclic movement in terms of Spell-out domains. They suggested that word order in a phrase determined in a lower Spell-out domain cannot be changed in a higher domain. This is called "Order Preservation." Scandinavian Object Shift phenomena can be explained well in terms of their theory of Order Preservation. However, problems arise with respect to Scandinavian wh-movement/Quantifier Movement and English wh-movement/Topicalization. Without an appropriate mechanism to make Scandinavian wh-phases/quantifiers and English wh-phases/topicalized expressions stop by the left edge of VP, a word order conflict will arise between CP and VP. To solve this problem I suggest parametrization of the property of verbal heads. (Gyeongsang National University)

순위다중패턴매칭을 위한 해싱기반 알고리즘

강문성(Munseong Kang),조석현(Sukhyeun Cho),심정섭(Jeong Seop Sim) Korean Institute of Information Scientists and Eng 2016 정보과학회논문지 Vol.43 No.5

Given a text Tand a pattern P, the order-preserving pattern matching problem is to find all substrings in T which have the same relative orders as P. The order-preserving pattern matching problem has been studied in terms of finding some patterns affected by relative orders, not by their absolute values. Given a text T and a pattern set ℙ, the order-preserving multiple pattern matching problem is to find all substrings in T which have the same relative orders as any pattern in ℙ. In this paper, we present a hashing-based algorithm for the order-preserving multiple pattern matching problem.

COREGULARITY OF ORDER-PRESERVING SELF-MAPPING SEMIGROUPS OF FENCES

JENDANA, KETSARIN,SRITHUS, RATANA Korean Mathematical Society 2015 대한수학회논문집 Vol.30 No.4

A fence is an ordered set that the order forms a path with alternating orientation. Let F = (F;${\leq}$) be a fence and let OT(F) be the semigroup of all order-preserving self-mappings of F. We prove that OT(F) is coregular if and only if ${\mid}F{\mid}{\leq}2$. We characterize all coregular elements in OT(F) when F is finite. For any subfence S of F, we show that the set COTS(F) of all order-preserving self-mappings in OT(F) having S as their range forms a coregular subsemigroup of OT(F). Under some conditions, we show that a union of COTS(F)'s forms a coregular subsemigroup of OT(F).