Static analysis on cellular baseband software with probabilistic inference확률적 추론을 이용한 셀룰러 베이스밴드 소프트웨어 정적 분석

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 14
  • Download : 0
Baseband software is an important component in cellular communication. Unfortunately, it is almost impossible to implement baseband software correctly due to the complexity and the large volume of cellular specifications. As a result, dynamic testing has been widely used to discover implementation bugs in them. However, this approach suffers from the reachability problem, resulting in many missed bugs. Recently, a static approach was proposed for analyzing baseband software. However, this requires heavy manual analysis and is limited to message decoding, failing to support integrity protection, the most critical step in mobile communication. In this paper, we propose a novel, semi-automated approach, for analyzing integrity protection. To tame the complexity of baseband firmware, our approach utilizes probabilistic inference to identify the integrity protection function. In particular, our approach builds a factor graph from the firmware based on specifications and discovers the most probable function for integrity protection. Then, with additional manual analysis, our approach performs symbolic analysis to validate that its behavior conforms to the specification and reports any discrepancies. This can significantly reduce manual efforts for analysis, the primary limitation of the previous static analysis approach for baseband.
Advisors
윤인수researcher
Description
한국과학기술원 :정보보호대학원,
Publisher
한국과학기술원
Issue Date
2024
Identifier
325007
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 정보보호대학원, 2024.2,[iv, 32 p. :]

Keywords

베이스밴드 소프트웨어▼a정적 분석▼a비교 분석▼a확률적 추론▼a심볼릭 실행; Baseband software▼aStatic analysis▼aComparative analysis▼aProbabilistic inference▼aSymbolic execution

URI
http://hdl.handle.net/10203/321827
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=1097359&flag=dissertation
Appears in Collection
IS-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0