• Title/Summary/Keyword: 절차언어

Search Result 237, Processing Time 0.024 seconds

A Study of Development of Diagnostic System for Web Application Vulnerabilities focused on Injection Flaws (Injection Flaws를 중심으로 한 웹 애플리케이션 취약점 진단시스템 개발)

  • Kim, Jeom-Goo;Noh, Si-Choon;Lee, Do-Hyeon
    • Convergence Security Journal
    • /
    • v.12 no.3
    • /
    • pp.99-106
    • /
    • 2012
  • Today, the typical web hacking attacks are cross-site scripting(XSS) attacks, injection vulnerabilities, malicious file execution and insecure direct object reference included. Web hacking security systems, access control solutions, access only to the web service and flow inside but do not control the packet. So you have been illegally modified to pass the packet even if the packet is considered as a unnormal packet. The defense system is to fail to appropriate controls. Therefore, in order to ensure a successful web services diagnostic system development is necessary. Web application diagnostic system is real and urgent need and alternative. The diagnostic system development process mu st be carried out step of established diagnostic systems, diagnostic scoping web system vulnerabilities, web application, analysis, security vulnerability assessment and selecting items. And diagnostic system as required by the web system environment using tools, programming languages, interfaces, parameters must be set.

Analysis on the Effectiveness of Algorithm Visualization System for Structured Programming Language Education (구조적 프로그램밍 언어 교육을 위한 알고리즘 시각화 시스템의 효용성 분석)

  • Oh, Yeon-Jae;Park, Kyoung-Wook;Kim, Eung-Kon
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.7 no.1
    • /
    • pp.45-51
    • /
    • 2012
  • Programming is an area that many students have difficulty on because it requires various skills, such as problem analysis, logical thinking, and procedural problem-solving skills. In this paper, a system visualizing algorithm was used to set up algorithmic concepts easily and effectiveness of the system was analyzed through scholastic achievement test and survey after learning through this process. For evaluation, we divided students who take courses on programming language and algorithm in 3 universities into 2 groups with 6 teams in each group. The group that trained this system visualizing algorithm had scored 17.4 points higher in terms of scholastic achievement than the group that did not train such method. Moreover, according to the survey, the group had higher scores in terms of interest level, concentration level, comprehension, effectiveness, and convenience.

A study on how to improve tourism competitiveness for the activation of cruise tourism industry - Focusing on the influence of attribute satisfaction on overall satisfaction of cruise tourists by countries - (크루즈관광산업 활성화를 위한 관광경쟁력 제고방안 연구 - 방한 크루즈관광객의 어권별 관광만족도의 차이를 중심으로 -)

  • Hong, Jang-Won;Jeong, Byeong-Ok
    • Journal of Navigation and Port Research
    • /
    • v.37 no.2
    • /
    • pp.211-219
    • /
    • 2013
  • The purpose of this study is to find out how to improve tourism competitiveness of cruise harbours in Korea by analyzing tourism satisfaction level of international cruise visitors to Korea, who are increasing rapidly as Northeast Asian cruise tourism market is growing up. In this study we analyzed the factors of effects on tourism satisfaction level by Chinese visitors, Japanese visitors and English speaking visitors respectively based on the results of "International Cruise Visitor Survey 2012". The results of this study show that the individual satisfaction level of port of calling & tour schedule, immigration procedures, transportation, shopping influenced overall tourism satisfaction level by countries. It implied that those attributes should be reflected hereafter when we establish a marketing strategy for each of cruise cities. This study has a great significance in that those results suggest useful information when we make plans not only for activating cruise harbours but also for cruise tour marketing.

A Study on the Object-Oriented Program Slicing using Module Class Dependency Graph (모듈 클래스 종속 그래프를 이용한 객체지향 프로그램 슬라이싱에 관한 연구)

  • Kim, Un-Yong;Jeong, Gye-Dong;Choe, Yeong-Geun
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.7
    • /
    • pp.1805-1816
    • /
    • 1999
  • This paper presents the Module Class Dependency Graph for expressing the dependency relations between classes effectively. The object-oriented language is developed independently at design time, and consists of relationship between classes. Therefore we need to consider these characteristics of independence, and to express effectively the relation of classes which is existed in class hierarchy. In the System Dependence Graph and Class Dependence Graph, the relationship of classes is not expressed. To express the class relationship, we propose the Module Class Dependence Graph, and we verify the effectiveness of this method applying to object constructor, inheritance relationship and dynamic binding. Also, we presents the expressing method of parameter to identify the member data of classes. Using this Module Class Dependency Graph, we can analyze the relationship of module class correctly at design time. This method can be applied to reverse engineering, testing, visualization and other various fields to analyze system.

  • PDF

An Analysis on Mathematical Thinking Processes of Gifted Students Using Problem Behavior Graph (PBG(Problem Behavior Graph)를 이용한 수학적 사고 과정 분석)

  • Kang, Eun-Joo;Hong, Jin-Kon
    • Communications of Mathematical Education
    • /
    • v.23 no.3
    • /
    • pp.545-562
    • /
    • 2009
  • This study is trying to analyze characteristics of mathematical thinking processes of the mathematical gifted students in an objective and a systematic way, by using "Protocol Analysis Method"and "Problem Behavior Graph" which is suggested by Newell and Simon as a qualitative analysis. In this study, four middle school students with high achievement in math were selected as subjects-two students for mathematical gifted group and the other two for control group also with high scores in math. The thinking characteristics of the four subjects, shown in the course of solving problems, were elicited, analyzed and compared, through the use of the creative test questionnaires which were supposed to clearly reveal the characteristics of mathematical gifted students' thinking processes. The results showed that there were several differences between the two groups-the mathematical gifted student group and their control group in their mathematical talents. From these case studies, we could say that it is significant to find out the characteristics of mathematical thinking processes of the mathematical gifted students in a more scientific way, in the sense that this result can be very useful to provide them with the chances to get more proper education by making clear the nature of thinking processes of the mathematical gifted students.

  • PDF

Comparison of Test Case Effectiveness Based on Dynamic Diagrams Using Mutation Testing (뮤테이션 테스트를 이용한 동적 다이어그램에 근거한 테스트 케이스의 효율 비교)

  • Lee, Hyuck-Su;Choi, Eun-Man
    • The KIPS Transactions:PartD
    • /
    • v.16D no.4
    • /
    • pp.517-526
    • /
    • 2009
  • It is possible to indicate the complex design and execution of object-oriented program with dynamic UML diagram. This paper shows the way how to make several test cases from sequence, state, and activity diagram among dynamic UML diagram. Three dynamic UML diagrams about withdrawal work of ATM simulation program are drawn. Then different test cases are created from these diagrams using previously described ways. To evaluate effectiveness of test cases, mutation testing is executed. Mutants are made from MuClipse plug-in tool based on Eclipse which supports many traditional and class mutation operators. Finally we've got the result of mutation testing and compare effectiveness of test cases, etc. Through this document, we've known some hints that how to choose the way of making test cases.

The Study of technique to find and prove vulnerabilities in ActiveX Control (ActiveX Control 취약점 검사 및 검증 기법 연구)

  • Sohn, Ki-Wook;Kim, Su-Yong
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.15 no.6
    • /
    • pp.3-12
    • /
    • 2005
  • To provide visitors with the various services, Many web sites distribute many ActiveX controls to them because ActiveX controls can overcome limits of HTML documents and script languages. However, PC can become dangerous if it has unsecure ActiveX controls, because they can be executed in HTML documents. Nevertheless, many web sites provide visitors with ActiveX controls whose security are not verified. Therefore, the verification is needed by third party to remove vulnerabilities in ActiveX controls. In this paper, we introduce the process and the technique to fad vulnerabilities. The existing proof codes are not valid because ActiveX controls are different from normal application and domestic environments are different from foreign environments. In this paper, we introduce the technique to prove vulnerabilities in ActiveX control.

Verification Methods for Vulnerabilities of Airborne Object-Oriented Software (항공용 객체지향 소프트웨어에 대한 취약점 검증 방안)

  • Jang, Jeong-hoon;Kim, Sung-su;Lee, Ji-hyun
    • Journal of Aerospace System Engineering
    • /
    • v.16 no.2
    • /
    • pp.13-24
    • /
    • 2022
  • As the scale of airborne system software increases, the use of OOT (Object-Oriented Technology) is increasing for functional expansion, efficient development, and code reuse, but the verification method for airborne object-oriented software is conducted from the perspective of the existing procedure-oriented program. The purpose of this paper was to analyze the characteristics of OOT and the vulnerabilities derived from the functional characteristics of OOT, and present a verification method applicable to each software development process (Design, Coding and Testing) to ensure the functional safety integrity of aviation software to which OOT is applied. Additionally, we analyzed the meaning of the static analysis results among the step-by-step verification measures proposed by applying LDRA, a static analysis automation tool, to PX4, an open source used to implement flight control software.

Development of Python Education Program with Computational Thinking

  • Lee, Min-Kyung
    • Journal of the Korea Society of Computer and Information
    • /
    • v.27 no.11
    • /
    • pp.315-323
    • /
    • 2022
  • In this paper, we propose a python education program that applies computational thinking for non-majors and programming beginners. In this study, we focus on the basics of program logic, breaking away from the difficult grammar and memorization-oriented programming education. And by applying the problem-solving procedure of computational thinking, we propose an educational program that allows non-majors and programming beginners to learn programming easily. In this paper, an 8-week educational program was applied to middle school students with little text coding experience. and through a post-satisfaction survey, it was found that their confidence in programming increased, and they were able to apply computational thinking could be applied to life and other subjects. Although the importance of programming education is being emphasized, it is expected that it will be used as a useful educational program when composing program education for non-majors and beginners in programming for learners who still find it difficult to learn programming.

Hospital Selection Factors of Patients with Mild Cognitive Impairment (경도 인지장애 환자의 병원선택 요인)

  • Park, Jin-Ju;Oh, Myung-Hwa;Kim, Seung-Il;Kim, Hye-Mi
    • Journal of Korea Entertainment Industry Association
    • /
    • v.13 no.7
    • /
    • pp.441-448
    • /
    • 2019
  • The purpose of this is to investigate the factors of hospital selection in patients with mild cognitive impairment and to provide information to clinicians and medical institutions in preparation for the ongoing admission of patients with mild cognitive impairment. This study was carried out on 36 participants who agreed to participate in the study from May 1st, 2018 to September 30th, 2018. Data collection was performed using K-MMSE and hospital selection factor tool was modified and supplemented according to the study. The results of this study suggest that the distance from the residence or work place shall be closer to that of the hospital, with the easy of transportation, easy administrative procedure, hospital reputation, new services, service or physical therapy and occupation therapy(p <.05). The conclusion of this study is to inform the clinician about the selection factors of patients with mild cognitive impairment and change the marketing strategy of medical institutions prepare to mild cognitive impairment