Firmware vulnerability analysis based on formal verification of software and hardware

In order to analyze the potential vulnerabilities in the firmware systematically and effectively,a formal verification method based on TLA,in a collaborated form of software and hardware was proposed.With this method,the interaction mechanism of software and hardware in the computer boot process was...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Peng-hui ZHANG,Xi TIAN,Kang-wei LOU
Formato: Artigo
Idioma:Inglês
Publicado em: POSTS&TELECOM PRESS Co., LTD 2016-07-01
Colecção:网络与信息安全学报
Assuntos:
firmware security
tla
formal verification
vulnerability analysis
software and hardware collaboration
Acesso em linha:http://www.infocomm-journal.com/cjnis/CN/10.11959/j.issn.2096-109x.2016.00071
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados