搜索结果: 1-3 共查到“军事学 Isolation”相关记录3条 . 查询时间(0.299 秒)
Undermining Isolation through Covert Channels in the Fiasco.OC Microkernel
Critical systems Separation Microkernel
2016/1/5
In the new age of cyberwars, system designers have come to recognize the merits of building critical systems on top of small kernels for their ability to provide strong isolation at system level. This...
Weakening the Isolation Assumption of Tamper-proof Hardware Tokens
Hardware Tokens Isolation Assumption UC security
2016/1/4
Recent results have shown the usefulness of tamper-proof hardware tokens as a setup
assumption for building UC-secure two-party computation protocols, thus providing broad
security guarantees and al...
Sanctum: Minimal Hardware Extensions for Strong Software Isolation
Minimal Hardware Extensions Strong Software Isolation
2015/12/29
Sanctum offers the same promise as SGX, namely strong provable isolation of software modules running concurrently and sharing resources, but protects against an important class of additional software ...