• 제목/요약/키워드: protocol Analysis

검색결과 2,510건 처리시간 0.034초

CSP/FDR을 이용한 RADIUS 프로토콜 분석 (The Analysis of RADIUS protocol using CSP/FDR)

  • 김일곤;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
    • /
    • pp.239-241
    • /
    • 2003
  • 무선 인터넷의 활성화와 더불어, 사용자 인중(Authentication), 권한 부여(Accounting) 그리고 자원사용(Accounting)의 세가지 AAA 서비스를 효율적으로 제공하기 위해 RADIUS와 같은 AAA프로토콜들이 사용되고 있다. 본 논문에서는 Casper와 CSP를 이용하여 RADIUS 프로토콜을 수행동작을 명세하고, 모델 체킹 도구인 FDR을 사용하여 RADIUS 프로토콜의 안전성을 분석하고자 하였다.

  • PDF

인지적 사고과정 분석을 통한 주방기구디자인 개발 (The Development of Kitchenware Design through Cognitive Analysis)

  • 김기수
    • 한국콘텐츠학회논문지
    • /
    • 제16권2호
    • /
    • pp.287-294
    • /
    • 2016
  • 디자인을 개발하는데 있어 디자인의 계획에서부터 결과물을 도출시키는 전 과정의 디자인행위는 디자이너의 직관적인 관념과 기술적인 능력차이로 이루어지고 있다. 하지만 이러한 작업의 형태가 어떠한 규정된 틀에서 구체적인 방향으로 진행되기보단 개개인의 암묵적 행위 혹은 내재적 직관으로 이루어지고 있음을 디자인 전문가들은 모두가 공감하는 현상이다. 이러한 직관과 경험을 토대로 행해지는 디자인 작업을 합리적이고 과학적인 과정으로 시작하고 결과를 얻는다면 보다 체계적인 디자인작업을 다음단계로 이관 시킬 수 있다. 본 연구는 전문가와 비전문가의 디자인 적용방향을 실험으로 알아보기 위해 주방기구 개발 프로세스의 초기단계인 디자인 스케치과정 내용을 인지과학의 대표적인 질적연구 방법인 프로토콜 분석 방법을 활용하여 디자이너가 어떠한 사고시스템으로 디자인정보처리를 수행하고 작업하는지를 연구하고자 한다. 따라서 이 논문의 범위를 디자인 인지과학의 관련을 이해하는데 가장 기초가 되는 질적 연구방향에서 "주방기구에 대한 초기프로토콜 분석"과 "사고분석에 대한 코드화"에 한정시킬 것이다. 이러한 연구문제를 해결해가는 절차로 선행연구를 고찰하고 인지적인 사고를 체계적인 방법으로 재해석하여 제품의 개발흐름과 교육적 효과를 찾고자 하였다.

실시간 제어 데이터통신을 위한 IEEE-1394용 수정 TCP/IP의 성능분석 (Performance Analysis of Modified TCP/IP for Realtime Control Data Transmission over IEEE-1394 Network)

  • 윤기중;박재현;염복진
    • 제어로봇시스템학회논문지
    • /
    • 제10권2호
    • /
    • pp.197-203
    • /
    • 2004
  • A real-time network in a distributed control system plays an important role for the reliable data transmission. Compared to the field-buses used in the past, TCP/IP protocol on the top of Ethered provides a compatibility between applications as well as an economical method to develop softwares. This paper proposes a modified TCP/IP structure for IEEE-1394 network, with which asynchronous and isochronous data transmission is selectively used for the real-time data transmission in a distributed control system. This paper also shows the performance of the proposed protocol by experiments.

RFID 시스템에서의 태그 보안을 위한 경량화 프로토콜의 분석 (Analyses of Light-weight Protocol for Tag Security in RFID System)

  • 김정태
    • 한국정보통신학회논문지
    • /
    • 제15권11호
    • /
    • pp.2399-2403
    • /
    • 2011
  • RFID 는 유비쿼터스 환경하에서 필수불가결한 기술이 되도 있다. 그러나 RFID 의 본질적인 단점으로 인하여 프라이버시와 같은 보안적인 취약점을 기자고 있다. 따라서 본 논문에서는 RFID 시스템의 관점하에서 태그에서의 보안적인 취약점 및 이럴 해결하기 위한 여러 가지의 프로토콜에서의 문제점을 분석하였다. 최근에는 반도체 공정 기술의 발전과 경량화프로토콜의 발전으로 인하여 태그에서의 보안성이 향상되고 있는 중이다.

경계선 게이트웨이 프로토콜의 의사 결정 속성과 공개된 문제점 분석 (BGP Decision Making Process and Open Problem Analysis)

  • 이강원;함영만
    • 한국정보통신학회논문지
    • /
    • 제16권1호
    • /
    • pp.81-97
    • /
    • 2012
  • 본 논문의 목적은 인터도메인 라우팅 프로토콜인 BGP의 '최근동향'을 조사하는 것이다. 먼저 BGP를 BGP 정책과 의사 결정 과정 중심으로 살펴보았다. 그리고 인터도메인 라우팅의 'open question(공개된 문제점)'으로 남아 있는 문제들을 1) 프로토콜의 안정성, 2) 트래픽 엔지니어링, 3) QoS(Quality of Service) 관점에서 조사하고, 왜 이 문제들이 현재 해결하기 어려운지를 살펴보았다. 또 이 문제들을 해결하기 위한 BGP 분야의 가장 최근 연구 동향을 조사하였다.

Performance Analysis of the UPC/NPC Algorithm for Guaranteed QoS in ATM Networks

  • Kim, Yong-Jin;Kim, Jang-Kyung;Lee, Young-Hee;Park, Chee-Hang
    • ETRI Journal
    • /
    • 제20권3호
    • /
    • pp.251-271
    • /
    • 1998
  • It is well known that if usage parameter control/network parameter control (UPC/NPC) functions are used together with a cell loss priority control scheme in ATM networks, the measurement phasing problem can occur. This makes it difficult for a network provider to define and commit the cell loss ratio as a QoS parameter. To solve the problem, we propose a new UPC/NPC algorithm. By using the proposed UPC/NPC algorithm, we can define the cell loss ratios for CLP = 0 and CLP = 0+1 cell streams without the measurement phasing problem under any conditions. We analyzed the performance of the proposed UPC/NPC algorithm. Using a discrete time model for the UPC/NPC architecture with a discrete-time semi-Markov process (DSMP) input model, we obtained the cell discarding probabilities of CLP = 0 and CLP = 0+1 cells streams and showed that more CLP = 0 cells are accepted compared to what was proposed in ITU-T.

  • PDF