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...
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
POSTS&TELECOM PRESS Co., LTD
2016-07-01
|
| Serie: | 网络与信息安全学报 |
| Soggetti: | |
| Accesso online: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2016.00071 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|