搜索结果: 1-2 共查到“军事学 LOAD”相关记录2条 . 查询时间(0.061 秒)
Verification of Authenticated Firmware Load
formal methods formal verification model checking
2019/5/28
An important primitive in ensuring security of modern systems-on-chip designs are protocols for authenticated firmware load. These loaders read a firmware binary image from an untrusted input device, ...
Reducing RFID Reader Load with the Meet-in-the-Middle Strategy
RFID Identification Authentication Meet-in-the-Middle Strategy
2009/6/12
In almost any RFID system, a reader needs to identify, and optionally authenticate, a mul-
titude of tags. If each tag has a unique secret, identification and authentication are trivial,however, the ...