http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
소비자단체소송제도의 발전적 확대방안 -집단적 소비자피해의 구제를 위한 소송제도의 정비
서희석 사법발전재단 2020 사법 Vol.1 No.53
This paper is intended to present specific measures to introduce the “consumer organization-type class action system.” The consumer organization-type class action system is a system model that allows the plaintiff consumer organization, etc. to file a lawsuit for collective redress in addition to a lawsuit for injunction for consumers. The consumer organization-type class action system proposed in this paper differs from the existing system models or legislative bills in terms of the following. First, it expands the existing system of consumer organization litigation through a partial revision of the Framework Act on Consumers as a legislative method for introducing the consumer class action system. Thus, the plaintiff of the expanded consumer organization litigation system retains the existing four types of the qualified organizations. Second, in order to ensure the effectiveness of a lawsuit for injunction, a “preventive claim” and “request for necessary measures” are added to a claim for suspension or prohibition of illegal acts. Third, a qualified organization may file a lawsuit for collective redress in addition to a lawsuit for injunction. The claim for collective redress includes a claim for return of unjust enrichment and a claim for contractual performance in addition to a claim for damages. Fourth, the existing litigation permit system is abolished. In the consumer organization litigation system, the class certification process is not necessary because eligible organizations perform lawsuits. This measure applies to both a lawsuit for injunction and a lawsuit for collective redress. Fifth, in order to overcome the problems of litigation performance, such as the strict application of the principle of the burden of proof and the method of evidence investigation under the Civil Procedure Act, the information submission order system is newly established as a special provision of the document submission order system under the Civil Procedure Act. Sixth, if the victim reports (opt-in) his claim when the lawsuit for collective redress becomes final and conclusive, the extinctive prescription shall be deemed to have been suspended at the time the lawsuit for collective redress is filed. Afterwards, the rights of the victims will be realized through the rights execution and distribution procedures by the plaintiff. 본고는 “소비자단체형 집단소송제도”를 도입하기 위한 구체적 방안을 제시하기 위한 것이다. 소비자단체형 집단소송제도는 소비자단체소송제도를 근간으로 하여 원고인 소비자단체 등에게 행위금지청구(injunction) 외에 피해구제를 위한 청구(redress)를 허용하는 제도모델이다. 본고에서 제안한 소비자단체형 집단소송제도가 기존 제도모델이나 입법안과 다른 특징은 다음과 같다. 첫째, 소비자집단소송제도의 도입을 위한 입법방식으로 「소비자기본법」의 일부개정을 통해 기존의 소비자단체소송제도를 확대한다. 따라서 소비자단체소송의 원고는 기존의 단체소송상 적격단체(4가지 유형)를 그대로 유지한다. 둘째, 행위금지청구소송의 실효성을 확보하기 위하여 행위금지청구소송의 소송물로서 사업자의 위법한 행위의 금지·중지청구 외에 ‘예방청구’와 위법한 행위의 금지·중지 또는 예방을 위해 ‘필요한 조치’를 추가한다. 셋째, 적격단체는 행위금지청구소송 외에 피해구제청구소송을 제기할 수 있다. 피해구제청구는 금전지급청구로서 손해배상청구 외에 부당이득반환청구, 계약이행청구를 포괄하는 것으로 한다. 넷째, 기존의 소송허가제도는 폐지한다. 적격단체가 소송을 수행하는 소비자단체소송제도에서는 피해자 집단(class)의 인증절차가 필요하지 않고(행위금지청구소송), 인용판결의 확정 후에 채권신고를 통해 피해자의 범위가 확정되기 때문이다(피해구제청구소송). 다섯째, 민사소송법상 증명책임의 원칙과 증거조사방식의 엄격한 적용이라는 소송수행상의 문제점을 극복하기 위하여 민사소송법상 문서제출명령제도의 특칙을 둔다. 여섯째, 피해구제청구소송의 인용판결이 확정된 경우 피해자가 채권신고(opt-in)를 하면 피해구제청구소송이 제기된 시점에 소멸시효가 중단된 것으로 본다. 이후에는 원고단체의 권리실행과 분배절차를 거쳐 피해자의 권리가 실현된다.
서희석,김희원 한국컴퓨터산업학회 2003 컴퓨터産業敎育學會論文誌 Vol.4 No.4
네트워크 보안은 정보통신 및 인터넷 기술이 발전함에 따라 그 중요성과 필요성이 더욱 절실해지고 있다. 본 연구에서는 침입차단 시스템, 운영체제 모델과 다양한 네트워크 구성요소들을 모델링 하였다. 각 모델은 MODSIM III 기반의 기본모델(Basic Model)과 결합모델(Compound Model)의 두 가지 유형으로 정의하였다. 대상 네트워크 환경에서 사용한 공격은 서비스 거부공격 형태인 SYN flooding 공격과 Smurf 공격을 발생하였다. 이 공격들에 대하여 패킷 필터 모델에 다양한 보안 정책을 적용하여 시뮬레이션을 실행하였다. 본 연구에서의 시뮬레이션을 통하여 보안정책의 강도를 점점 높였을 때 보안성능이 향상되는 점을 검증하였다. The need for network security is being increasing due to the development of information communication and internet technology, In this paper, firewall models, operating system models and other network component models are constructed. Each model Is defined by basic or compound model using MODSIM III. In this simulation environment with representative attacks, the following attacks are generated, SYN flooding and Smurf attack as an attack type of denial of service. The simulation is performed with the models that exploited various security policies against these attacks. In addition, the results of the simulation show that the analysis of security performance according to various security policies, and the analysis of correlation between availability and confidentiality according to security empowerment.
침입 탐지 시스템과 침입 차단 시스템의 연동을 통한 보안 시뮬레이션
서희석,조대호 한국시뮬레이션학회 2001 한국시뮬레이션학회 논문지 Vol.10 No.1
For the prevention of the network intrusion from damaging the system, both IDS (Intrusion Detection System) and Firewall are frequently applied. The collaboration of IDS and Firewall efficiently protects the network because of making up for the weak points in the each demerit. A model has been constructed based on the DEVS (Discrete Event system Specification) formalism for the simulation of the system that consists of IDS and Firewall. With this model we can simulation whether the intrusion detection, which is a core function of IDS, is effectively done under various different conditions. As intrusions become more sophisticated, it is beyond the scope of any one IDS to deal with them. Thus we placed multiple IDS agents in the network where the information helpful for detecting the intrusions is shared among these agents to cope effectively with attackers. If an agent detects intrusions, it transfers attacker's information to a Firewall. Using this mechanism attacker's packets detected by IDS can be prevented from damaging the network.
연동 구조 내의 추론 성능 향상을 위한 RETE 알고리즘의 적용
서희석 한국컴퓨터산업학회 2003 컴퓨터産業敎育學會論文誌 Vol.4 No.12
오늘날의 네트워크는 다양한 애플리케이션이 수행되고 있는 많은 수의 서버와 라우터들로 구성되어 있다. 본 논문에서는 침입 탐지 에이전트와 방화벽 에이전트가 계약망 프로토콜(Contract Net Protocol)에 의해서 서로 연동할 수 있는 구조를 디자인하고 구축하였다. 계약망 프로토콜은 분산 시스템과 같은 이기종의 컴퓨터 시스템의 효과적인 연동을 위한 방법으로서 여러 에이전트들이 모여 서로 협력하며 하나의 문제를 해결하게 된다. 계약망 프로토콜 내의 커멘드 콘솔은 매니저로서 침입 탐지를 수행하는 계약자들을 수행시키거나 제어하는 역할을 수행한다. 지식 기반의 네트워크 보안 모델링을 위해서 각 모델은 계층적으로 잘 구성된 DEVS (Discrete Event system Specification)에 의해서 구성하려다. 본 논문에서는 계약망 프로토콜에 의해서 운용되는 지식 기반의 침입 탐지 에이전트의 추론 주기를 향상시키기 위한 rete 패턴 매칭 알고리즘을 적용하여 시뮬레이션을 수행하였다. 본 연구는 rete 패턴 매칭 알고리즘을 사용하여 계약망 프로토롤의 성능과 특성을 평가해 본다. Today's network consists of a large number of routers and servers running a variety of applications. In this paper, we have designed and constructed the general simulation environment of network security model composed of multiple IDSs agent and a firewall agent which coordinate by CNP (Contract Net Protocol). The CNP, the methodology for efficient integration of computer systems on heterogeneous environment such as distributed systems, is essentially a collection of agents, which cooperate to resolve a problem. Command console in the CNP is a manager who controls the execution of agents or a contractee, who performs intrusion detection. In the knowledge-based network security model, each model of simulation environment is hierarchically designed by DEVS (Discrete Event system Specification) formalism. The purpose of this simulation is the application of rete pattern-matching algorithm speeding up the inference cycle phases of the intrusion detection expert system. we evaluate the characteristics and performance of CNP architecture with rete pattern-matching algorithm.
Single Sign-On을 적용한 네트워크 보안 모델링
서희석,김희완 한국컴퓨터산업학회 2004 컴퓨터産業敎育學會論文誌 Vol.5 No.1
인터넷 사용의 급증에 따라 대부분의 사용자들은 여러 웹 서버의 서비스를 사용하고 있으며 각 서버의 접속 사용자 ID 및 패스워드의 상이함으로 인해 혼선을 초래하기도 한다. 이러한 문제를 해결하기 위한 방법이 SSO(Single Sign-On)이다. 본 논문은 네트워크에 존재하는 다양한 서버 및 호스트에 접근하기 위한 550를 적용하여 침입 탐지 시스템과 침입 차단 시스템 등과 같은 보안 시스템의 관리를 수월하게 하고 네트워크 사용 및 관리를 효과적으로 수행하기 위한 모델링 방법을 제안한다 본 연구진이 제안하는 방법은 소규모 네트워크에서 적용하여 사용하기 수월하도록 구성하였으며 조직의 여러 데이터를 효과적으로 처리할 수 있도록 구성되었다. SSO의 구성은 인증서 기반의 PKI (Public Key Infrastructure)를 사용하여 구성하였으며 인증 통신을 위한 데이터 암호화를 SSL (Secure Socket Layer) 기반의 SHTTP (Secure Hyper Text Transfer Protocol)을 적용한다. With the growing usage of the networks, the users in the Internet uses some kinds of web server. They confused that each web server uses the different user ID and passwords. To solve these problems, SSO (Single Sign-On) solution is introduced. We presents the modeling methods which are efficiently constructed the network management models. We constructed the intrusion detection systems and firewalls using the SSO. This architecture is efficient to manage the network usage and control. SSO solution designed on the small scale Intranet. CA server in the 550 that depends on PKI (Public Key Infrastructure) is used to issue the certificates. SHTTP based on SSL (Secure Socket Layer) is used to protect the data between certificate server and the intranet users.
서희석,이근호,김희완 한국컴퓨터산업학회 2003 컴퓨터産業敎育學會論文誌 Vol.4 No.12
그레이팅이라는 금속 제품의 자동 설계 시스템인 GDS (Grating automatic Drawing System)는 기본 설계 도면 (Plan Drawing)의 정보들을 바탕으로 여러 세부 도면들을 자동 생성하는 시스템이다. 그러나 GDS를 통해 자동 생성된 도면은 설계자들의 일반적인 치수 기입 요령을 부분적으로 만족시키지 못하고 있으며 또 치수 표시 간의 겹침 현상이 발생하여 설계자가 도면을 수정해야 하는 번거로움이 있었다. 전문가 시스템은 컴퓨터 시스템에 입력된 특정분야에서의 전문가적지식(knowledge)과 사실(fact)들을 이용하여 전문가의 지 식 이 요구되는 문제들을 해결하기 위해 만들어진 시스템이다. 본 논문은 이러한 문제점을 해결하기 위하여 선계 전문가들의 치수 표시법을 지식으로 하여 규칙 기반 전문가 시스템을 구성하였다. GDS(Grating automatic Drawing System), which is an automatic design system of metal products called grating, is a system that produces various detailed drawings on the basis of information within a Plan Drawing that represents layout of the gratings such as locations, shapes, directions, etc. However, automatically produced drawings by GDS do not fully satisfy the standard of the general dimension marking method used among the layout designers. The lack of this standard quality mainly results from the fact that overlapping among dimension markings appears frequently. To solve the overlapping problem we applied the rule-based expert system which uses the expert's knowledges and facts to solve the problems. The rules for the expert system are designed based on the expertise of skilled layout designers within the grating production lines.
은행의 착오로 인한 자금이체의 효력 - 대법원 2012.10.25. 선고 2010다47117 판결-
서희석 한국민사법학회 2013 民事法學 Vol.64 No.-
Over several years, decisions accumulated by Supreme Court's regardingtransfer by mistake have established a legal principle that the transferrershall take disadvantage of the transfer by mistake. The principle looksvery unreasonable in that while it may make the transferrer lose tens ofmillions of Wons with the mistake of the moment, it may make theunfair profit of a third party(payee, receiving bank, the creditor of therecipient) justified. But if it implies that the transferrer himself shall takedisadvantage of the transfer by mistake because he has gross negligencenot to identify the payee, the principle is unconvincing in terms of specificvalidity, but theoretically acceptable. Meanwhile, assuming that evenmoney transfer by mistake of bank may establish the payee's depositcredit on the ground of theory of 'unnecessity in cause relationship', inrecent decision the Supreme Court acknowledged the reverse of moneytransfer by accepting the claims of the bank which made the mistake andit ruled the exemption of the bank from responsibility. The conclusionmade the normative evaluation different depending on who is themistaker, payer or bank. However, it is questionable whether the rule ofthe court is justified, that the deposit credit which was once establishedby electronic funds transfer can be extinguished in the case that the bankdid not cause mal-operation such as typing mistakes or errors in fulfillingthe payment instructions, but it made a mistake in decision whether itshould transfer to the recipient. As long as the effect of fund transfer bythe mistake of bank is comprehended within the framework of theelectronic funds transfer, the normative evaluation regarding the transfer by bank's mistake shall not get basically different from the payer's. Henceforth, the Supreme Court needs to reexamine this issue.
Java 다중 스레드 프로그램을 위한 오토마타 기반 테스팅 환경의 설계 및 구현
서희석,정인상,김병만,권용래 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.3
Classical deterministic testing controls the execution of concurrent programs based on the equivalence between specifications and programs. However, it is not directly applicable to a situation in which synchronization sequences, being valid but infeasible, are taken into account. To resolve this problem, we had proposed automata-based deterministic testing in our previous works, where a concurrent program is executed according to one of the sequences accepted by the automaton recognizing all sequences semantically equivalent to a given sequence. In this paper, we present the automata-based testing environment for Java multi-thread programs, and we design and implement "Deterministic Executor" in the testing environment. "Deterministic Executor" transforms a Java multi-thread program by applying automata-based deterministic testing, the transformed program presents testing results. "Deterministic Executor" uses "Automata Generator", which generates an equivalent automaton of a test sequence, and "Replay Controller", which controls the execution of programs according to the sequence accepted by the automaton. By illustrating automata-based testing procedures with a gas station example, we show how the proposed approach does works in a Java multi-threaded program. 고전적인 결정적 테스팅 방법은 명세와 프로그램의 동치 관계를 기반으로 병행 프로그램의 수행 경로를 제어한다. 따라서, 주어진 시퀀스를 직접 구현하지 않고, 그와 의미적으로 동일한 다른 시퀀스를 구현한 프로그램에 대해서는 결정적 테스팅 방법을 적용하기 어렵다. 이를 해결하기 위해서, 우리는 테스트 시퀀스와 의미적으로 동일한 모든 시퀀스들을 허용하는 동치 집합 오토마타를 이용한 오토마타 기반 테스팅 방법을 제안하였었다. 이 논문에서는 Java 다중 스레드 프로그램에 대한 오토마타 기반 테스팅 환경을 제안하고, 테스팅 환경 내의 테스트 수행 지원 도구를 설계하고 구현하는 방법을 제안한다. 테스트 수행 지원 도구에서는 주어진 Java 다중 스레드 프로그램을 오토마타 기반의 결정적 테스팅 방법이 적용된 프로그램으로 변환하고, 이 변환된 프로그램을 수행함으로써 테스트의 결과를 알 수 있다. 이를 위해서 테스트 수행 지원 도구 내에서 동치 집합 오토마타를 생성하는 오토마타 생성기와 프로그램의 수행을 제어하기 위한 재연 제어기를 설계하고 구현한다. 그리고, 가스 충전소 예제를 이용하여 오토마타 기반의 결정적 테스팅의 과정 및 효과를 기술한다.