• Title/Summary/Keyword: 엄격한 증명

Search Result 29, Processing Time 0.023 seconds

A Proposal Of The Horizontality Development Method On The Spring MVC (스프링 MVC에서 수평 개발 방법의 제안)

  • Yang, Ill Deung;Kim, Seong Ryeol
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.19 no.10
    • /
    • pp.2350-2358
    • /
    • 2015
  • The Spring framework including the MVC design concept is the standard in web development in the JAVA environment. The programming style of the structure must be kept strictly, so every web program is able to employ the same structure. It is convenient to distribute jobs, but there are some side effects, like duplication of code, deterioration of professionalization, and deterioration of program performance. To ameliorate those problems, we propose the horizontality development method(HDM) on Spring MVC. We proved that the HDM can solve the problems through the experiment to keep the MVC structure.

Cycling Packet Dropping Mechanism for Assured Forwarding Packets in Internet (인터넷에서 Assured Forwarding 패킷을 위한 사이클링 패킷 폐기 메커니즘)

  • Kim, Su-Yeon;Gang, Hyeon-Guk
    • The KIPS Transactions:PartC
    • /
    • v.9C no.2
    • /
    • pp.221-226
    • /
    • 2002
  • Cycling Packet Dropping mechanism we proposed in this paper adaptively drops packets, as predicting traffic pattern between each cycle. Therfore the proposed mechanism makes up for the drawback of RIO mechanism and minimizes errors being capable of predicting in Dynamic and Strict Packet Dropping mechanism. And we executed a simulation and analyzed the throughput and packet drop rate based on the Sending Drop Precedence changing dynamically depending on the network traffic. The results show that the proposed mechanism provides better performance on drop precedence levels and stricter drop precedence policy for AF class.

Comparison and Analysis of Cycling Packet Drop Algorithms and RIO as Packet Drop for the Congestion Control (혼잡제어용 패킷 폐기를 위한 사이클링 패킷 폐기 기법과 RIO 알고리즘의 비교 분석)

  • Kim, Su-Yeon;Gang, Hyeon-Guk
    • Journal of the Institute of Electronics Engineers of Korea TC
    • /
    • v.39 no.2
    • /
    • pp.59-68
    • /
    • 2002
  • In this paper, we compared and analyzed two new models of cyclic packet dropping algorithm, Adaptive Cyclic Packet Dropping algorithm (ACPD), and Non-adaptive Cyclic Packet Dropping algorithm (NCPD) with RIO. The ACPD algorithm drops adaptively packets for the congestion control, as predicting traffic pattern between each cycle. Therefore the ACPD algorithm makes up for the drawback of RIO algorithm and minimizes the wastes of the bandwidth being capable of predicting in the NCPD algorithm. We modelled two cyclic packet drop algorithms and executed a simulation and analyzed the throughput and packet drop rate based on Sending Priority changing dynamically depending on network traffic. In this algorithm, applying the strict drop precedence policy, we get better performance on priority levels. The results show that two new algorithms may provide more efficient and stricter drop precedence policy as compared to RIO independent of traffic load. The ACPD algorithm can provide better performance on priority levels and keep stricter drop policy than other algorithms.

Major Principles and Changes of Zero Tolerance Policy on School Violence in USA (미국 학교폭력에 대한 무관용정책의 변화와 시사점)

  • Chung, Ilhwan;Kim, Younghwan
    • Korean Journal of Comparative Education
    • /
    • v.22 no.4
    • /
    • pp.25-49
    • /
    • 2012
  • Coping with the problems of school violence, weapon and drug abuses, 'zero tolerance policies' have been adopted in the United States since the 1980's. Authorities have been securing the safety and learning-friendly environment of the school, imposing predetermined penalties on any case of school violence or disruption. It is reported that the school violence rate drops accordingly. However, the policies are criticized for their rather escalating effect due to severe punishments on minor offenses, evidencing no effectiveness worthwhile. As alternatives, 'graduated systems of discipline' meeting minor misbehaviors with less severe consequences or 'early response model' are suggested, without abandoning those main rules of zero tolerance policies. Recently Korean government tries to take charge of school violence, issuing some nation-wide measures such as 'the Comprehensive Measures to Stop School Violence'. This article analyzed major principles and changes of the zero tolerance polices of US case, to induce some policy suggestions for the validity of Korean government's measures implemented under the understanding that "little bullying" is also a "crime" to disclose all school violence.

A Comparative Study on the Burden of proof between Korea and the USA under the Product Liability (제조물책임법상 입증책임에 관한 한·미 간 비교연구)

  • Ha, Choong-Lyong;Kim, Eun-Bin
    • Korea Trade Review
    • /
    • v.43 no.3
    • /
    • pp.101-124
    • /
    • 2018
  • After the establishment of the Korean Product Liability Act, a new clause on the burden of proof has been added and is being revised to meet the purpose of consumer protection. Article 3(2) of the new clause stipulates a provision for estimating a causal relationship when proving indirect facts to alleviate burden of proof. While consumer rights are increasing and public attention is drawn to consumer issues, problems are still emerging. In order to solve the problem, the U.S. Product Liability Act, which has strong consumer rights, was examined to describe the direction in which Korea's Product Liability Act should proceed in terms of consumer protection. The results of the comparative analysis show that the US has expanded the concept of strict liability in terms of rigorous liability, consumer dispute resolution, provable possibility, and litigation accessibility, The consumer dispute settlement system has thoroughly protected consumers by operating educational and systemic consumer ADR system. As for the possibility of proving, Korea has three provenances, and the United States has one. In the United States, where consumer lawsuits are frequent, lawsuits are more accessible than those in Korea, where the party responsible for proving is turned into a manufacturer and responsible for proving the case. This study focuses on consumer protection and provides implications for Korean product liability law.

  • PDF

A Study on the Navigational Competence of Junior Naval Officers (해군 초급장교의 해기능력에 관한 연구)

  • Choi, Chang-Mook;Lim, Bong-Taek;Ko, Kwang-Soob
    • Journal of Navigation and Port Research
    • /
    • v.36 no.10
    • /
    • pp.819-824
    • /
    • 2012
  • In this paper, mandatory minimum requirements for certification of officers in charge of a navigational watch on ship by international convention on STCW (standards of training certification and watchkeeping for seafarers) were investigated. The training education and evaluation systems for navigational competence of Korean navy were compared and analyzed. As a result, we have confirmed that junior naval officers from Korean midshipmen had the navigational competence based on the STCW convention by analyzing the courses of Korea naval academy, midshipmen life, training exercise systems, and so on. OCS and NROTC provided a curriculum that did not quite meet the standard of the STCW convention. However, it was sufficient for nurturing basic abilities for navigation safety.

Judicial Analysis on Supreme Court Precedents Related to Criminal Malpractice and Acceptance of Causal Relation (형사상 의료과실 및 인과관계 인정과 관련된 대법원 판례분석)

  • Park, Young-Ho
    • The Korean Society of Law and Medicine
    • /
    • v.15 no.2
    • /
    • pp.435-459
    • /
    • 2014
  • Supreme Court of Korea has been mitigating the burden of proof on the malpractice and causal relation by a patient in accordance with the practical transfer of such burden of proof on causal relation as well as relieving a doctor's burden of proof on mistake in the civil damage claim suits on the malpractice. However, a prosecutor shall strictly prove the causal relation between malpractice and unfavorable results as well as a doctor's mistake in the criminal cases for making a doctor accept the professional negligence resulting in death or injury in accordance with In Dubio Pro Reo principles. Furthermore, it shall not be allowed to relieve the burden of proof on malpractice and causal relation which has been frequently applied in the civil proceedings. Nevertheless, it was widely known that the front-line courts accepted the malpractice and causal relation by quoting the legal principles on relieving the burden of proof on malpractice and causal relation applied in the civil cases even in criminal cases with no or insufficient proof on malpractice or causal relation. However, the latest precedents in Supreme Court explicitly declared the opinion that there was no reason to apply the legal principle to relieve the burden of proof on the malpractice and causal relation in the criminal cases requiring the proof 'which doesn't cause any reasonable doubt' on malpractice and causal relation in accordance with the legal principles 'favorable judgment for a defendant in case of any doubt' on the basis of the strict principle of 'nulla poena sine lege.' Accordingly, Supreme court definitely clarified that there would be no reason to relieve the burden of proof on malpractice and causal relation in criminal cases by reversing several original judgments accepting malpractice and causal relation even though there were no strict evidence.

  • PDF

Development of LLDB module for potential vulnerability analysis in iOS Application (iOS 어플리케이션의 잠재적 취약점 분석을 위한 LLDB 모듈 개발)

  • Kim, Min-jeong;Ryou, Jae-cheol
    • Journal of Internet Computing and Services
    • /
    • v.20 no.4
    • /
    • pp.13-19
    • /
    • 2019
  • In order to register an application with Apple's App Store, it must pass a rigorous verification process through the Apple verification center. That's why spyware applications are difficult to get into the App Store. However, malicious code can also be executed through normal application vulnerabilities. To prevent such attacks, research is needed to detect and analyze early to patch potential vulnerabilities in applications. To prove a potential vulnerability, it is necessary to identify the root cause of the vulnerability and analyze the exploitability. A tool for analyzing iOS applications is the debugger named LLDB, which is built into Xcode, the development tool. There are various functions in the LLDB, and these functions are also available as APIs and are also available in Python. Therefore, in this paper, we propose a method to efficiently analyze potential vulnerabilities of iOS application by using LLDB API.

Limitations of Spectrogram Analysis for Smartphone Voice Recording File Forgery Detection (스마트폰 음성 녹음 파일 위변조 검출을 위한 스펙트로그램 분석의 한계점)

  • Sangmin Han;Yeongmin Son;Jae Wan Park
    • The Journal of the Convergence on Culture Technology
    • /
    • v.9 no.2
    • /
    • pp.545-551
    • /
    • 2023
  • As digital information is readily available to everyone today, the adoption of digital evidence is increasing. However, it is virtually impossible to determine the authenticity of forgery in the case of a voice recording file that has gone through a sophisticated editing process along with the spread of various voice file editing tools. This study aims to prove that forgery, which is difficult to distinguish from the original file, is possible by using insertion, deletion, linking, and synthetic editing technologies in voice recording files. This study presents the difficulty of detecting forgery by encoding a forged voice file with the same extension as the original. In addition, it was shown that forgery detection is impossible if additional transition band deletion and secondary encoding are performed only for experiments in which features occurred. Through this, this study is expected to contribute to the establishment of more stringent evidence admissibility criteria for adopting voice recording files as digital evidence.

A Study on Forgery Techniques of Smartphone Voice Recording File Structure and Metadata (스마트폰 음성녹음 파일 구조 및 메타데이터의 위변조 기법에 관한 연구)

  • Park, Jae Wan;Kwak, Won Jun;Lee, John Sanghyun
    • The Journal of the Convergence on Culture Technology
    • /
    • v.8 no.6
    • /
    • pp.807-812
    • /
    • 2022
  • Recently, as the number of voice recording files submitted as court evidence increases, the number of cases claiming forgery is also increasing. If the audio recording file structure and metadata, which are objective grounds, are completely forged, it is actually impossible to detect forgery of the sophisticated audio recording file. It is extremely rare for the court to reject the file structure and metadata analysis performed with the forged audio recording file. The purpose of this study is to prove that forgery of voice recording file structure and metadata is easily possible. To this end, in this study, it was introduced that forgery detection is impossible when the 'mixed paste' function, which enables sophisticated editing based on the typification of the editing method of voice recording files, is applied. Moreover, it has been proven through experiments that forgery of file structure and metadata is possible. Therefore, a stricter standard for judging the admissibility of evidence is required when the audio recording file is adopted as digital evidence. This study will not only contribute to the standard of integrity in the adoption of digital evidence by judges, but will also contribute to the method of constructing a dataset for artificial intelligence in detecting forgery of recorded files that is expected to be developed in the future.