• 제목/요약/키워드: 자동 프로그램

검색결과 1,449건 처리시간 0.03초

Ajax를 기반으로 한 인증 및 세션 관리 (Authentication and Session Management based on Ajax)

  • 남상온;;김기원;송정길
    • 인터넷정보학회논문지
    • /
    • 제7권6호
    • /
    • pp.157-174
    • /
    • 2006
  • Ajax의 상호작용 모델은 웹 어플리케이션 상황을 HTTP에서 상태 기반형이 되도록 바꾸어 주며, Ajax 응용프로그램은 브라우저상에서 오래 지속된다. XHR(XML HTTP Request)는 데이터 교환을 촉진하는데 사용된다. 이러한 상호작용 조건에서 HTTPS를 사용하는 것은 데이터 교환의 빈도 때문에 실용적이지 못하다. 더욱이 민감한 정보의 경우 HTTP에서 HTTPS 로 프로토콜을 전환하는 것은 원본서버 유지정책으로 인해 허용되지 않는다. Ajax 어플리케이션의 장기 지속성, 구속성, 비동기성과 같은 특징들은 재 인증을 촉발하는 각기 다른 인증 및 세션 처리 메카니즘을 필요하게 되는데, 이 논문은 Ajax를 사용하는 인증 및 세션 관리의 설계를 제시한다. 본 설계는 OTP(One Time Password)와 유사한 자동 발생 패스워드가 있는 요약 인증을 사용하는 환경에서 기간 단위 및 이벤트 기반의 재인증을 촉발하도록 고안되었다. 이 인증 및 세션 관리는 인증 및 세션 관리가 손상되지 않도록 커플링의 AWAsec(Ajax Web Application Security) 이라고 불리는 체제 안에 포함된다.

  • PDF

이식성을 고려한 사용자기반 MPI 체크포인터의 설계 및 구현 (Design and Implementation of a User-based MPI Checkpointer for Portability)

  • 안선일;한상영
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제33권1_2호
    • /
    • pp.35-43
    • /
    • 2006
  • MPI 체크포인터는 MPI 응용 프로그램에 체크포인팅을 통해 결함내성을 제공하는 툴이다. 네트워크의 개방성이 확대되고 GRID에 대한 활용이 증가함에 따라 MPI 체크포인터가 다양한 플랫폼과 MPI 구현들로 쉽게 이식되어야 한다는 요구가 커지고 있다. 기존의 MPI 체크포인터들은 자동 체크포인팅과 복구 기능에 초점을 맞추었고 이식성에 대한 고려가 없었기 때문에, 다른 플랫폼과 MPI 구현들로 이식되기 어려웠다. 본 논문에서는 사용자기반 MPI 체크포인터인 STFT를 개발하면서 이식성을 위해 고려하였던 설계 및 구현 이슈들에 대해 설명한다. STFT는 MPI 체크포인터의 이식성을 위해 첫째로 단일 프로세스 체크포인터들에 대한 추상화 인터페이스를 제시한다. 둘째로 사용자기반 체크포인팅 방법에서 사용자가 체크포인팅할 수 있는 지점을 제한하여 메시지 체크포인팅을 회피한다. 셋째로 네트워크 연결을 재생성하기 위해 MPI_Init가 다른 랭크를 가진 프로세스들과 항상 고정된 순서대로 연결을 생성하도록 강제한다. 이를 통해 STFT는 다양한 플랫폼과 MPI 구현들로 쉽게 이식 가능할 것으로 기대되며, 우리는 프로토타입의 구현을 통해서 STFT가 LAM과 MPICH/P4의 두 MPI 구현들로 쉽게 이식 가능함으로 확인하였다.

굴절차량에 대한 조향알고리즘 개발 및 검증 (Development and Verification of the Steering Algorithm for Articulated Vehicles)

  • 문경호;이수호;목재균;박태원
    • 한국철도학회논문집
    • /
    • 제11권3호
    • /
    • pp.225-232
    • /
    • 2008
  • 축간거리가 긴 트럭이나 굴절차량과 같이 차량이 길이가 길고 2량 이상 편성된 차량은 회전반경을 줄여 원활하게 곡선을 주행할 수 있도록 전 차륜 조향방식(AWS)을 적용한다. 굴절차량에 도입된 방법은 네덜란드 APTS사의 Phileas 차량이 유일하며 자동으로 운전하기 위한 제어방법에 대한 논문은 발표되었지만 수동으로 조향되어 운전되는 경우에 대한 알고리즘은 소개되거나 공개되어지지 않았다. 따라서 본 연구에서 네덜란드의 APTS사의 차량에 대한 수동운전시의 조향장치 특성을 분석하고 새로운 알고리즘을 제안하였다. 또한 개발된 알고리즘을 상용 동역학 프로그램인 ADAMS를 이용하여 적용성을 알아보았다.

차 대 차 부분 정면충돌 시험의 MPDB compatibility 평가에 대한 연구 (A Study on MPDB Compatibility Assessment of Car to Car Offset Frontal Impact Test)

  • 선홍열;윤일성;김재수;이만수
    • 자동차안전학회지
    • /
    • 제11권4호
    • /
    • pp.6-15
    • /
    • 2019
  • Since introducing the offset frontal impact test in EuroNCAP in 1997, the vehicle has been constantly changing according to its usage and purpose. As of 2019, many vehicles have been released to the public, which has led to a large structural mass difference between small, medium and large vehicles. Also, the geometry of the front of the vehicle is completely different for each vehicle and tends not to be perfectly aligned at frontal collisions. The difference in mass of each of these vehicles and less performing structures for offset crashes have led to dramatically worse outcome in a car to car offset frontal impact tests. Even though a decade later passenger cars have become much safer due to consumer test programs and regulatory requirements, the aggressiveness and compatibility that can cause damage to the opponent car in the event of car to car collision is not considered in the above-mentioned section, and therefore much improvement is needed. After many years of study to solve this problem, EuroNCAP has developed a new mode MPDB offset front test that considers the aggressiveness and compatibility that can affect the opponent cars that have collided. This paper introduces the development process of aggressiveness and compatibility evaluation method of MPDB in EuroNCAP which will be implemented from 2020. Several impact tests have been conducted at different test conditions to rate the vehicle structure performance only focused on aggressiveness and compatibility of MPDB.

동적오염분석과 SMT 해석기를 이용한 소프트웨어 보안 취약점 분석 연구 (Analyzing Vulnerable Software Code Using Dynamic Taint and SMT Solver)

  • 김성호;박용수
    • 정보과학회 컴퓨팅의 실제 논문지
    • /
    • 제21권3호
    • /
    • pp.257-262
    • /
    • 2015
  • 소프트웨어가 복잡해짐에 따라 개발자가 인지하지 못하는 버그가 증가하고 있다. 공격자들은 시스템을 공격하거나 악성코드를 유포하기 위해 이와 같은 소프트웨어 버그 중 보안에 취약한 버그를 이용한다. 대표적인 방법으로 문서, 멀티미디어 등의 파일을 조작하여 보안에 취약한 버그를 발생시키는 방법으로 최근 지능적 지속 공격 빈번하게 사용되었다. 이에, 본 논문에서는 소프트웨어의 보안 취약점을 찾기 위한 프로그램 자동 분석 방법을 제안한다. 제안 방법은 문서, 멀티미디어 등 입력 값에 의해 발생되는 소프트웨어의 보안에 취약한 버그를 찾는 것을 목표로 한다. 먼저, 동적 오염 분석을 통해 입력 데이터가 취약 코드 지점까지 전파되는 과정을 추적하고 입력데이터 전파와 관련이 있는 명령어를 추출한다. 추출된 연관 명렁어를 수식화하고 이를 SMT 해석기를 이용하여 보안 취약점이 발생할 수 있는 입력 값을 찾는다. 제안 방법을 통해 아래아 한글, 곰 플레이어에서 크래시가 발생할 수 있는 입력값과 취약 코드 6개를 찾았다.

아날로그 주소형 감지기와 자동화재탐지 시스템의 설계 및 구현사례에 대한 고찰 (A Study on Design and Implementation of an Analog Addressable Detector and a Fire Alarm System)

  • 김종태;홍세권;유영신;정해성
    • 한국화재소방학회논문지
    • /
    • 제24권4호
    • /
    • pp.1-11
    • /
    • 2010
  • 본 논문은 최근의 정보통신기술을 적용하여 아날로그 감지기와 화재경보시스템의 설계와 구현방법에 대한 사례를 기술하였다. 근거리와 원거리뿐만 아니라 중대형 규모의 건물에 설치할 수 있도록 감지기에서 부터 시스템까지 계층구조로 설계하였고, 대량의 이벤트를 효율적으로 처리하여 많은 정보를 보여주도록 통신프로토콜부터 응용프로그램까지 일관되게 설계하였다. PC 기반의 화재경보시스템은 Microprocessor 기반의 해외 제품보다 고속으로 대용량을 처리하고 큰 화면에 많은 정보를 제공한다. 그러므로 수천 개의 아날로그 감지기를 설치하는 대형건물도 하나의 시스템에 쉽게 수용할 수 있고 다중화장치를 이용하여 설치비용도 크게 절약할 수 있다. 본 시스템에서 구현된 경보시나리오는 경보가 발생할 때 비화재와 실화재를 구분하는데 큰 역할을 할 것으로 판단된다.

Slope Failure Surface Using Finite Element Method

  • Ahn, Tae-Bong
    • 한국지반공학회논문집
    • /
    • 제15권3호
    • /
    • pp.27-40
    • /
    • 1999
  • 사면안정해석을 수행하기 위하여 많이 사용하는 한계평형방법은 일정한 가정을 하여 안전율을 평형에 필요한 응력과 흙의 전단강도의 비로 정의하여 대상사면의 안전율을 구한다. 유한요소법을 이용한 사면안정해석방법은 응력상태를 유한요소법으로 구한 후 원호나 대수나선형등의 일정한 모양의 사면 파괴선을 가정하여 반복적으로 최소안전율을 구한다. 본 연구에서는 유한요소법을 이용한 사면안정해석방법을 개발하여 사면의 가장 취약한 부분을 따라 파괴선이 발생하도록 하였다. 이것은 요소내의 국부안전율과 파괴각을 고려하여 사면파괴선을 자동적으로 구할 수 있도록 함으로써 가능한데 이 방법은 임의의 파괴선을 가정할 필요가 없으며 절편에 작용하는 힘에 대하여 가정을 할 필요가 없고 임의의 모양의 파괴선을 구할 수 있는 장점이 있다. 본 연구에서는 개발된 해석방법을 검증하기 위하여 가상의 사면, 자연사면, 그리고 댐사면에 적용하여 실무에서 많이 사용하는 한계평형방법 프로그램인 STABL5M과 SLOPE/W과 비교 평가하였다.

  • PDF

LPG충전소 유휴공간의 태양광발전설비 설치 유효성 (Validity of solar energy generation at the underused Space of LPG filling station)

  • 이민경;김정환;이진한;조영도;이연재
    • 한국가스학회지
    • /
    • 제20권4호
    • /
    • pp.25-32
    • /
    • 2016
  • 지난 2008년, LPG충전소와 유사한 주유소의 경우 관련법인 위험물관리법 개정을 통해 태양광발전설비의 설치가 합법화 되어 실제 몇몇 주유소에서 태양광발전설비가 운용되고 있다. LPG충전소의 경우 2015년부터 관련법이 개정되어 LPG충전소의 사무실, 캐노피 등의 유휴공간에 태양광발전설비 설치가 합법화 되었다. 일본의 경우 지난 2009년부터 LPG충전시설에 태양광발전설비를 설치하여 운용하고 있는 것이 조사되었다. 위험지역으로 분류되는 LPG충전소의 경우 작은 화재가 큰 사고로 이어질 가능성이 크다. 이에 본 연구에서는 전산유동해석을 통해 태양광발전설비 설치의 안전성에 대해 평가하고자 국내 외의 관련 기준과 사례를 조사하였다. 또한 조사된 결과를 바탕으로 가스유동해석 프로그램의 하나인 FLACS를 이용해 저장탱크 방출관과 자동차용 충전기 파손에 의한 누출을 가정하여 유동해석을 진행하였고, 캐노피에 설치된 태양광발전설비의 안전성에 대해 간접적으로 평가하였다. 그 결과 충분한 안전거리를 확보한다면 캐노피 상단으로의 폭발범위의 LPG가 유입되지 않는 것을 확인할 수 있었다.

JNI를 이용한 MMS 구현 (Implimentation of MMS using JNI)

  • 장경수;신동렬
    • 한국정보처리학회논문지
    • /
    • 제7권1호
    • /
    • pp.135-145
    • /
    • 2000
  • MMS(Manufacturing Message Specification)는 PLC, NC, 로봇 등과 같이 서로 다른 제조회사의 서로 다른 단위제어기기 제품들간에 통신할 수 있는 ISO/IEC 9506으로 표준화된 공장자동호용 프로토콜이며 OSI 참조 모델의 최상위 층인 응용계층 프로토콜에 해당된다. 본 논문은 MMS를 TCP/IP상에서 동작할 수 있도록 유닉스 환경에서 ASNSI-C 언어로 구현하고, 이 구현된 프로토콜을 JNI(Java Native Interface)를 이용해 JAVA 클래스화한다. JAVA 클래스화함으로써 기존에 제공되는 MMS 라이브러리를 이용하는데 있어 표준화되지 않은 서로 다른 API를 이용하는데 어려움과 GUI를 구현하는데 어려움을 극복하는 기본을 제공한다. 그리고 구현된 JAVA 클래스화된 MMS 라이브러리를 인터넷의 WWW상에서 동작시킬 수 있도록 자동화된 PCB(Printed Circuit Board) 조립라인을 대상 모델로 선정하여 응용 프로그램을 작성하여 구현된 JNI를 이용한 MMS가 인터넷상에서 동작하여 사용자에게 일괄성있는 인터페이스를 제공하는 웹 브라우저를 통해 RMD(Real Manufacturing Device)를 동작${\cdot}$제어${\cdot}$감시할 수 있음을 보여준다.

  • PDF

SQL 기반 퍼시스턴스 프레임워크 (A Persistence Framework Based SQL)

  • 조동일;류성열
    • 정보처리학회논문지D
    • /
    • 제15D권4호
    • /
    • pp.549-556
    • /
    • 2008
  • 기업의 웹 기반 인트라넷 시스템은 객체지향 언어로 개발되고, 데이터의 관리는 RDBMS를 이용하여 구축된다. 두 시스템은 이질적 패러다임에 기인하여 모델의 불일치성을 발생시킨다. 이 문제를 해결하고자 사용되는 ORM 프레임워크는 RDB의 테이블과 객체지향 언어의 객체를 매핑하는 구조로 응용프로그램의 개발이 복잡하고, 변경에 유연하지 못하여 기업형 인트라넷 시스템의 개발 및 유지보수에 어려움을 준다. 본 연구에서는 기존 ORM 프레임워크의 복잡성을 해소하고, 변경에 유연하여 기업의 인트라넷 시스템에 적합한 퍼시스턴스 프레임워크를 제안한다. 제안한 퍼시스턴스 프레임워크는 테이블의 엔티티와 객체를 매핑하는 매핑 메타정보가 불필요하고, 소스코드를 자동 생성하여 개발 및 유지보수의 편의성을 제공하고, 변경에 유연하다. 제안 프레임워크는 Hibernate, iBATIS와의 테스트 결과 iBATIS와는 처리속도가 비슷했으나 iBATIS는 대용량 데이터 처리시 문제를 나타냈으며, Hibernate보다 약 3배 빠른 속도를 보였다.