Earticle

현재 위치 Home

Security and Trust

Trusted Computing Dynamic Attestation Using a Static Analysis based Behaviour Model

첫 페이지 보기
  • 발행기관
    한국정보기술융합학회 바로가기
  • 간행물
    JoC 바로가기
  • 통권
    Volume2 Number1 (2011.06)바로가기
  • 페이지
    pp.61-68
  • 저자
    Tong Li, Yang Lin, Xueyuan Kong, Yue Yu, Fajiang Yu
  • 언어
    영어(ENG)
  • URL
    https://www.earticle.net/Article/A188430

※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

원문정보

초록

영어
Current technology in trusted computing cannot comply with the requirement of trusted behaviour. One method for trusted computing dynamic attestation is proposed in this paper. This method uses a behaviour model based on the static analysis of binary code. One same source code may have several different binary versions, therefore one method is proposed for building almost the same core function model for different binary versions. This research also overcame the difficulty where some dynamic behaviours could not be obtained by static analysis. The paper also provides solutions for dynamic attestation of some complex programs, such as recursion, library link and multi threads programs.

목차

Abstract
 I. Introduction
 II. STATIC ANALYSIS-BASED PROGRAM BEHAVIOUR MODEL BUILDING
  A. Model Building Procedures
  B. Variance between Debug and Release Version
  C. Variance between Different Compilers
  D. Modeling Management for Different Binary Versions
 III. PROGRAM DYNAMIC BEHAVIOUR ATTESTATION
  A. Preprocessing Program Behaviour
  B. General Program Dynamic Attestation
  C. Single Thread Program Attestation
  D. Recursion Program Attestation
  E. Library Link Program Attestation
  F. Multi-thread Program Attestation
 IV. ANTI-ATTACK EXPERIMENT
  A. DLL Hijacking
  B. Buffer Overflow
 V. CONCLUSION AND FUTURE WORK
 Acknowledgment
 References

키워드

trusted computing dynamic attestation behaviour model static analysis

저자

  • Tong Li [ School of Computer Science, Wuhan University, Wuhan, Hubei, P.R.C. 430072 ]
  • Fajiang Yu [ School of Computer Science, Wuhan University, Wuhan, Hubei, P.R.C. 430072, Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education in China ]
  • Yang Lin [ School of Computer Science, Wuhan University, Wuhan, Hubei, P.R.C. 430072 ]
  • Xueyuan Kong [ School of Computer Science, Wuhan University, Wuhan, Hubei, P.R.C. 430072 ]
  • Yue Yu [ School of Computer Science, Wuhan University, Wuhan, Hubei, P.R.C. 430072 ]

참고문헌

자료제공 : 네이버학술정보

간행물 정보

발행기관

  • 발행기관명
    한국정보기술융합학회 [Korea Information Technology Convergence Society]
  • 설립연도
    2008
  • 분야
    공학>전자/정보통신공학
  • 소개
    본 학회는 IT 활용 및 융합에 관한 연구 및 교류를 촉진하고 학문의 발전과 응용에 공헌함을 목적으로 한다.

간행물

  • 간행물명
    JoC [Journal of Convergence]
  • 간기
    계간
  • pISSN
    2093-7741
  • eISSN
    2093-775X
  • 수록기간
    2010~2015
  • 십진분류
    KDC 004 DDC 004

이 권호 내 다른 논문 / JoC Volume2 Number1

    피인용수 : 0건 (자료제공 : 네이버학술정보)

    함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.

      출처 : 네이버학술정보

        0개의 논문이 장바구니에 담겼습니다.

        페이지 저장
        소속기관 조회
        이용자님의 소속기관(단체)이 서비스에 가입되어 있는지 확인해 보십시오.
        기관회원에 소속되어 있는 이용자는 원문을 무료로 이용할 수 있습니다.