• 제목/요약/키워드: 제어흐름

검색결과 1,032건 처리시간 0.035초

실효 접속의 Hop Count에 기반한 인터넷 실효 지름의 측정 (Measurement of the Effective Internet Diameter Based on Hop Counts of Effective Connections)

  • 이지웅;김재균
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
    • /
    • pp.745-747
    • /
    • 1999
  • 인터넷이 급성장함에 따라 사용자의 더 나은 서비스에 대한 요구 역시 급증하였다. 네트웍 연구가들은 제한된 네트웍 자원 하에서 오류제어, 흐름 제어, 그리고 폭주 제어를 적절히 수행함으로써 전송 품질을 향상시키는 방법들에 대해 연구해 오고 있다. 그러나 인터넷 연구의 가장 큰 난점 중 하나가 인터넷에는 네트웍의 상태를 모니터링할 수 있는 근간이 되는 방법이 기본적으로 지원되고 있지 않다는 점이고 따라서 네트웍의 구조와 상태, 플로우의 흐름 및 통계 등에 대한 기본 자료가 부족한 실정이다. 오류 제어나 흐름 제어, 그리고 폭주제어 기술을 연구할 때 가장 필요한 자료중의 하나가 네트웍 토폴로지이다. 그 중에서도 송신자와 수신자 사이의 거리 정보인 Network Diameter가 있다. 기존 연구에서는 연구자 임의로 이 값을 할당하거나 혹은 특정 실험실에서만 유효한 Network Diameter가 있다. 기존 연구에서는 연구자 임의로 이 값을 할당하거나 혹은 특정 실험에서만 유효한 Network Diameter 값을 제시해오고 있었다. 이 논문에서는 이처럼 비객관적이거나 특수값으로만 사용되어 오던 Internet Diameter를 실효 접속에 근거하여 측정하는 알고리즘을 제안하고, KAIST에서 전세계로 나가는 실측 접속 자료로부터 접속 Hop Count의 분포를 측정하며 이를 통해 타 인터넷 연구에 적절한 자료를 제시한다.

  • PDF

제어흐름주소 검증을 이용한 소프트웨어 취약점 공격 대응 기법 (New Defense Method Against Software Vulnerability Attack by Control Flow Address Validation)

  • 최명렬;김기한;박상서
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
    • /
    • pp.343-345
    • /
    • 2004
  • 높은 효율성과 시스템 자원을 세일하게 제어할 수 있는 편리성을 제공하기 위해서 소프트웨어의 안전성에 대한 책임을 개발자가 지게하는 C 언어의 특성으로 인해서 버퍼 오버플로우, 포맷 스트링 기법 등을 이용한 소프트웨어 공격이 계속 나타나고 있다. 지금까지 알려진 소프트웨어 공격 기법의 다수가 버퍼 오버프로우 기법을 이용한 것이어서 지금까지의 연구는 주로 버퍼 오버플로우 공격 방지 및 탐지에 집중되어 있어 다른 공격 기법에 적용하는 데는 한계가 있었다. 본 논문에서는 소프트웨어 공격의 궁극적인 목적이 제어흐름을 변경시키는 것이라는 것을 바탕으로 프로그램의 제어흐름이 정상적인 범위를 벗어날 경우 이를 공격으로 탐지하는 새로운 기법을 제안하고 기존 연구 결과들과 비교하였다.

  • PDF

제한된 메모리의 모바일 수신자를 고려한 수신자 기반 TCP 흐름 제어 (A Receiver-driven TCP Flow Control for Memory Constrained Mobile Receiver)

  • 이종민;차호정
    • 한국정보과학회논문지:정보통신
    • /
    • 제31권1호
    • /
    • pp.91-100
    • /
    • 2004
  • 본 논문은 제한된 메모리를 가진 모바일 수신자를 고려한 무선 상태 적응적인 TCP 흐름 제어방법을 제안한다. 수신자에 의한 TCP 흐름 제어는 수신자에서 Advertised 윈도우를 조정함으로써 수행된다 제안된 방법은 수신자가 사용 가능한 무선 대역폭과 패킷 전송 지연 시간을 동적으로 측정하며, 측정된 정보를 기반으로 Advertised 윈도우를 적절히 조정한다. 무선 상태를 반영한 Advertised 윈도우의 조정으로 인해 송신자의 전송 성능 향상과 종단간 패킷 전송 지연 시간을 줄일 수 있다. 제안된 방법은 수신자에서의 TCP 변경만으로 구현될 수 있고 송신자나 중간 라우터의 변경을 필요로 하지 않는다. 제안된 방법의 구현과 CDMA2000 1x 환경에서의 실험을 통해 수신자 버퍼 크기가 2896 Bytes일 경우, 흐름 제어를 사용할 때가 기존 방식보다 전송률을 약 5배 향상시킬 수 있음을 보인다. 또한, 수신자 버퍼 크기가 64 KBytes일 경우 흐름 제어를 사용할 때가 기존 방식보다 때보다 종단간 패킷 왕복 시간은 반 이하로 줄일 수 있음을 보인다.

무선 네트워크에서 멀티미디어 서비스를 위한 흐름 제어 (Flow control for multimedia service in wireless networks)

  • 김동호;이용희;안세영
    • 한국정보통신학회논문지
    • /
    • 제13권7호
    • /
    • pp.1411-1421
    • /
    • 2009
  • 무선 인터넷이 기하급수적으로 증가함에 따라 최근 네트워킹과 멀티미디어 서비스에 대한 요구가 증대되어가고 있다. RTP는 인터넷 위에서 멀티미디어 통신을 지원하고 확장성과 유선환경에서의 적응력을 높였다. 그러나 RTP는 무선환경 안에서 양단간 QoS를 지원하지 못하는 제한을 갖는다. 본 논문은 실시간 멀티미디어 통신 아키텍쳐를 제안하고 하이브리드 흐름 제어를 설계하고 구현한다. 하이브리드 흐름 제어는 네트워크 상태나 사용자의 특성과 같은 메트릭을 이용한 개선된 AIMD를 기반으로 한다. 멀티캐스트 그룹 관리를 통해서 그룹 기반의 하이브리드 흐름제어를 한다. JMF를 이용하여 제안된 흐름 제어를 구현하여 성능을 분석하였다. 적용한 결과 제안된 흐름 제어가 AIMD보다 좋은 성능을 보여 준다.

ATM망을 위한 실시간 트래픽 제어 기법:RCT (A Real-time Traffic Control Scheme for ATM network:RCT)

  • 이준연;이재완;권혁인
    • 한국정보처리학회논문지
    • /
    • 제4권11호
    • /
    • pp.2822-2831
    • /
    • 1997
  • ATM을 기반으로 하는 B-ISDN 망은 다양한 트래픽 특성과 서비스 요구사항을 가진 여러가지 종류의 서비스를 지원해야한다. ATM 계층에는 link 계층간의 흐름 제어나 에러 제어가 없다. 그러나 다양한 종류의 각종 서비스를 위해 각기 다른 다른 흐름/에러 제어 기법이 AAL 계층이나 상위 계층(예를 들어 OSI 7 계층의 4번 전송 계층)에서 수행될 수 있다. 전통적인 데이타망에서는 에러 제어 기법이 결합된 윈도우 흐름 제어 기법이 널리 사용되었다. 그러나 윈도우 흐름 제어 기법은 전파 전달 지연(Propagation delay)이 전송률(Transmission rate)에 비해 상대적으로 너무 크기 때문에 ATM 망에서 유용하지 않을 수 있다. 본 논문에서는 양단간(end-to-end) 자료 전송을 위한 매우 간단한 흐름제어 기법인 RCT (Rate Control for end-to-end Transport)를 제안한다. RCT는 평균 과부하(Overload) 기간의 분포가 특정 시간대에 편중되어 있을 때에 높은 성능을 보인다.

  • PDF

MLP 기법을 이용한 천수흐름 수치모의 (Appling Multi-dimensional Limiting Process (MLP) to shallow water flow simulation)

  • 안현욱;유순영
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2012년도 학술발표회
    • /
    • pp.537-537
    • /
    • 2012
  • 천수방정식의 수치모형은 하천의 유량예측, 홍수범람해석, 해일 모의 등에 널리 사용되고 있고, 그 결과는 수자원 관리, 재난 대책 등 정책적인 의사결정에 있어 유용한 자료로 활용되고 있다. 이처럼 천수방정식의 수치모형은 연구목적뿐만 아니라 실생활에 있어서도 큰 영향을 미치고 있으며, 이에 보다 정확하고 효율적인 수치모형의 구축이 수리/수자원/방재분야에서 중요한 영역이 되고 있다. 본 연구는 정확하고 안정적인 수치모의를 위해 천수방정식의 수치모형에 MLP(Multi dimensional Limiting Process)기법을 적용한 후 다차원 모의 시 MLP의 수치 진동 제어 성능을 검증하고자 하였다. MLP기법은 다차원에서 수치진동을 억제할 수 있도록 개발된 기법으로, 기존 TVD 제어자(limiter)과 MLP의 차이점은 기존 제어자들이 흐름이 발생하는 셀 경계면에서 재구성된 값이 Maximum Principle을 만족시키도록 제어자를 유도하는데 반해, MLP는 셀 절점에서 Maximum Principle을 만족시키도록 제어자를 유도한다는데 있다. MLP기법은 압축성 유체를 표현하는 2, 3차원 오일러 방정식에 적용되어 기존의 제어자들에 비해 안정적이며 정확한 수치모의를 가능하게 하는 것이 검증되었다. 하지만 천수방정식에 적용된 예는 없으며, 이에 본 연구는 천수방정식에 MLP를 적용하고 천수방정식 수치모형 검증에 주로 사용되는 수치모의를 통해 MLP의 수치 진동 제어 성능을 검증하였다. 모의 결과, MLP는 2차원 천수방정식에 있어서도 기존의 제어자들과 비교하여 수치진동을 보다 잘 제어하는 것으로 판단된다. MLP의 사용으로 인해 불연속면 근처에서 정확도가 향상되었고 수치진동이 발생하지 않아 보다 안정적인 모의가 가능하였다.

  • PDF

제어 흐름 난독화를 효과적으로 수행하기 위한 전략 (A strategy for effectively applying a control flow obfuscation to programs)

  • 김정일;이은주
    • 한국컴퓨터정보학회논문지
    • /
    • 제16권6호
    • /
    • pp.41-50
    • /
    • 2011
  • 악의적인 소프트웨어 역공학으로부터 프로그램이 가지는 코드를 보호하기 위해서 코드 난독화가 제안되었다. 이것은 기존에 존재하는 프로그램 코드를 어렵게 변환시키는 것으로 프로그램 코드에 대한 악의적인 정적 분석을 어렵게 만든다. 코드 난독화는 난독화 목적에 따라 레이아웃, 데이터, 제어 난독화로 분류되어진다. 이 중 제어 난독화는 프로그램이 가지는 제어 흐름에 대한 추상적인 정보를 보호하는 것으로 다양한 종류의 개별 제어 흐름 난독화 변환이 제안되었지만, 이를 효과적으로 적용할 수 있는 방법은 제안되지 않았다. 본 논문에서는 제어 흐름 난독화 변환을 프로그램에 효과적으로 적용할 수 있는 난독화 전략을 제안하고, 실험을 통해서 제안한 난독화 전략의 효용을 보였다.

Myrinet을 위한 흐름 제어 기능을 갖는 UDP (UDP with Flow Control for Myrinet)

  • 김진욱;진현욱;유혁
    • 한국정보과학회논문지:정보통신
    • /
    • 제30권5호
    • /
    • pp.649-655
    • /
    • 2003
  • 클러스터와 같은 네트워크 컴퓨팅 환경에서는 신속하고 신뢰성이 보장되는 데이타 전송이 요구된다. 일반적으로 신뢰성을 보장하기 위해서 사용되는 전송 프로토콜은 TCP이다. TCP는 신뢰성을 보장하기 위해서 혼잡 제어, 흐름 제어, 재전송 둥을 수행한다. 본 논문은 클러스터의 하부 네트워크로서 많이 사용되는 Myrinet을 분석한 결과, 네트워크 혼잡으로 인한 패킷 손실이 Myrinet에서는 발생하지 않음을 새롭게 보인다. 또한 Myrinet에서는 패킷의 순서 뒤바뀜과 손실이 발생하지 않음을 확인한다. 따라서 TCP의 혼잡 제어, 패킷 순서화, 재전송 등과 같은 신뢰성을 위한 기법들은 불필요한 오버헤드를 발생시킨다. 본 논문은 Myrinet에서 신뢰성을 보장하기 위한 최소한의 기능이 흐름 제어임을 보이고, TCP보다 오버헤드가 적은 UDP에 흐름 제어만을 구현한 RUM(Reliable UDP on Myrinet)을 제안한다. 성능 측정결과, RUM은 신뢰성을 보장함과 동시에, TCP보다 최대 45% 높은 처리량을 보이며 UDP와 비슷한 낮은 단방향 지연시간을 가짐을 알 수 있다.

효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증 (Automatic Verification of the Control Flow Model for Effective Embedded Software Design)

  • 박사천;권기현;하순회
    • 정보처리학회논문지A
    • /
    • 제12A권7호
    • /
    • pp.563-570
    • /
    • 2005
  • 하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)에서는 데이터 흐름과 제어흐름을 모두 표현할 수 있다. PeaCE에서 제어 흐름을 표현하는 fFSM 명세를 정형 검증하기 위해 fFSM의 단계 의미를 정의하였다. 본 논문에서는 이전 연구에서 정의된 정형 의미를 바탕으로 개발한 자동 검증 도구를 소개한다. 이 도구는 내부 모델체커로 SMV를 사용하며 사용자는 직접 논리식을 기술하지 않고도 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 검증할 수 있다.

단음절 합성단위음을 사용한 시간영역에서의 한국어 다음절어 규칙합성을 위한 음절간 접속구간에서의 에너지 흐름 제어에 관한 연구 (On the Control of Energy Flow between the Connection Parts of Syllables for the Korean Multi-Syllabic Speech Synthesis in the Time Domain Using Mono-syllables as a Synthesis Unit)

  • 강찬희;김윤석
    • 한국통신학회논문지
    • /
    • 제24권9B호
    • /
    • pp.1767-1774
    • /
    • 1999
  • 본 논문은 시간영역 상에서의 단음절 단위합성음을 사용한 다음절어 합성에 관한 연구이다. 특히, 파형 연접시 접속구간에서의 에너지 흐름의 형태를 제어하기 위한 연구이다. 이를 위하여 시간영역 상에서 추출한 운율요소 제어용 매개변수1)를 사용하여 제어하였으며, 음절간 파형 형태의 접속규칙을 도출하여 합성시킴으로써 에너지 흐름의 형태를 시간영역 상에서 제어시킨 결과를 제시하였다. 실험결과, 단음절 단위의 저장된 파형을 연접시킴으로서 발생되는 에너지 흐름의 불연속성을 제거할 수 있었으며, 또한 합성음의 음절 및 자연성이 향상되었다.

  • PDF