A Machine-Checked Safety Proof for a CISC-Compatible SFI Technique
Executing untrusted code while preserving security requires that thecode be prevented from modifying memory or executing instructionsexcept as explicitly allowed. Software-based fault isolation (SFI) or"sandboxing" enforces such a policy by rewriting code at theinstruction level. In prev...
| מחבר ראשי: | |
|---|---|
| מחברים אחרים: | |
| שפה: | en_US |
| יצא לאור: |
2006
|
| גישה מקוונת: | http://hdl.handle.net/1721.1/32546 |