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...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
POSTS&TELECOM PRESS Co., LTD
2016-07-01
|
| Schriftenreihe: | 网络与信息安全学报 |
| Schlagworte: | |
| Online-Zugang: | http://www.cjnis.com.cn/thesisDetails#10.11959/j.issn.2096-109x.2016.00071 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|