• 제목/요약/키워드: conditional code

검색결과 35건 처리시간 0.019초

강건한 안드로이드 어플리케이션 개발을 위한 실행시간 인텐트 명세 검사 기법 (A Runtime Inspection Technique with Intent Specification for Developing Robust Android Apps)

  • 고명필;최광훈;창병모
    • 정보과학회 논문지
    • /
    • 제43권2호
    • /
    • pp.212-221
    • /
    • 2016
  • 안드로이드 앱의 액티비티, 서비스, 브로드캐스트 리시버와 같은 컴포넌트에 부적절한 인텐트를 전달하면 비정상적으로 종료되는 인텐트 취약점 문제가 빈번하게 발생한다. 이 논문은 안드로이드 컴포넌트가 기대하는 인텐트 명세를 개발자가 직접 기술하고, 실행시간에 이 컴포넌트에 전달된 인텐트를 검사하여 인텐트 취약점을 방지하는 방법을 제안한다. 인텐트 유효성을 검사하는 여러 조건문이 실수로 누락되거나 다른 코드와 섞여 유지 보수하기 어려운 점을 이 논문에서 제안하는 인텐트 명세를 선언함으로써 해결할 수 있다. 7개의 안드로이드 앱에 대해 제안한 방법을 적용한 실험 결과 인텐트 명세 기반 실행시간 검사 방법을 통해 앱의 비정상 종료를 방지할 수 있었다.

셀룰라 이동통신 채널에서 비선형 등화기를 이용한 최적의 데이터 복원 (Optimization of Data Recovery using Non-Linear Equalizer in Cellular Mobile Channel)

  • 최상호;호광춘;김영권
    • 전기전자학회논문지
    • /
    • 제5권1호
    • /
    • pp.1-7
    • /
    • 2001
  • 본 논문에서 역 방향 링크 채널에 대해 비 선형 등화기를 이용하여 CDMA 셀룰라 시스템을 연구하였다. 일반적으로 무선 통신에서 불확실한 채널 특성 때문에 Observable 들의 확률분포는 유한 세트의 파라미터로 규정될 수 없다. 대신에 training 샘플에 기반을 둔 Quantile과 Vector Quantizer를 사용함으로서 유한 수의 disjoint된 영역으로 m차 샘플 공간으로 분할하였다. 제안된 알고리듬은 RMSA 알고리즘에 의해 예측된 Quantile와 조건부 분할 모멘트에 따른 regression function의 부분적인 근사에 근간을 두고 있다. 본 논문의 등화기와 검출기는 잡음 분포의 Variation에 민감하지 않다는 관점에서 상당히 강한 특성을 보여 준다. 주요 아이디어는 Robust equalizer와 Robust partition detector가 어떤 환경의 무선 채널 하에서도 partition되지 않은 Observation space의 일반적인 등화기 보다 Observation의 등 확률로 분할된 부 공간에서 더 낳은 성능을 보여 준다. 또한 이런 개념을 CDMA 시스템에 적용하여 BER 성능을 분석하였다.

  • PDF

농업시설물에 대한 화산재 취약도 평가 (Fragility Assessment of Agricultural Facilities Subjected to Volcanic Ash Fall Hazards)

  • 함희정;최승훈;이승수;김호정
    • 한국전산구조공학회논문집
    • /
    • 제27권6호
    • /
    • pp.493-500
    • /
    • 2014
  • 본 연구에서는 농업시설물 중 내재해형 비닐하우스와 축사에 대한 화산재 취약도를 평가하였다. 이들 농업시설물에 대한 화산재 취약도를 평가하기 위해 화산재 하중의 확률밀도함수와 대상 시설물 저항성능의 확률밀도함수를 비교하는 해석적 접근법 기반의 FOSM(first-order second-moment) 방법이 이용되었다. 화산재 취약도 평가를 위하여 폭과 높이 그리고 단면 및 재료적 특성이 상이한 6종의 내재해형 비닐하우스와 표준형, 해안형, 산간형으로 구분된 3종의 축사가 사용되었다. 또한 FOSM 방법으로 평가된 내재해형 비닐하우스와 축사의 취약도는 GEV(generalized extreme value) 분포함수의 모수 형태로 최적화된 후 데이터베이스화되었다. 본 연구에서 평가한 화산재 취약도는 백두산 화산분화에 따른 화산재 퇴적에 대한 농업시설물의 위험도 평가를 위하여 활용될 수 있다.

스마트 컨트랙트의 계층형 규칙 모듈화와 보안 메커니즘 (Smart Contract's Hierarchical Rules Modularization and Security Mechanism)

  • 안정현;나성현;박용범
    • 반도체디스플레이기술학회지
    • /
    • 제18권1호
    • /
    • pp.74-78
    • /
    • 2019
  • As software becomes larger and network technology develops, the management of distributed data becomes more popular. Therefore, it is becoming increasingly important to use blockchain technology that can guarantee the integrity of data in various fields by utilizing existing infrastructure. Blockchain is a distributed computing technology that ensures that servers participating in a network maintain and manage data according to specific agreement algorithms and rules to ensure integrity. As smart contracts are applied, not only passwords but also various services to be applied to the code. In order to reinforce existing research on smart contract applied to the blockchain, we proposed a dynamic conditional rule of smart contract that can formalize rules of smart contract by introducing ontology and SWRL and manage rules dynamically in various situations. In the previous research, there is a module that receives the upper rule in the blockchain network, and the rule layer is formed according to this module. However, for every transaction request, it is a lot of resources to check the top rule in a blockchain network, or to provide it to every blockchain network by a reputable organization every time the rule is updated. To solve this problem, we propose to separate the module responsible for the upper rule into an independent server. Since the module responsible for the above rules is separated into servers, the rules underlying the service may be transformed or attacked in the middleware. Therefore, the security mechanism using TLS and PKI is added as an agent in consideration of the security factor. In this way, the benefits of computing resource management and security can be achieved at the same time.

SRP 기반의 DCAS 상호인증 및 키 관리 기법의 제안 (Proposal of a Mutual Authentication and Key Management Scheme based on SRP protocol)

  • 최현우;여돈구;장재훈;염흥열
    • 정보보호학회논문지
    • /
    • 제20권3호
    • /
    • pp.53-65
    • /
    • 2010
  • 제한수신시스템(CAS)은 자격을 갖춘 가입자만이 방송 콘텐츠를 시청할 수 있게 하는 IPTV SCP의 핵심 보안기술이다. 과거 CAS는 가입자의 수신기(STB)에 내장된 하드웨어 형태로 존재하거나 또는 분리 가능한 케이블카드 형태로 존재하는 것이 일반적이었다. 하지만 근래에는 기존 CAS의 보아나 문제와 확장성 문제 등으로 인해 네트워크를 통해 가입자의 STB에 내려 받을 수 있는 다운로드 가능 제한수신 시스템(DCAS)에 대한 연구가 활발히 이루어지고 있다. 본 논문에서는 다운로드 가능 IPTV SCP의 대표적인 예인 오픈케이블(OpenCable)와 수신기의 상호인증 및 키관리 기법을 제안한다. 또한, 제안하나 기법을 선행연구와 비교 분석하여 그 우수성을 평가한다.