Publication | Closed Access
Safe kernel extensions without run-time checking
502
Citations
7
References
1996
Year
Unknown Venue
EngineeringRuntime VerificationProgram AnalysisVerificationOperating System SecuritySafe Kernel ExtensionsTrusted Execution EnvironmentComputer ScienceSoftware AnalysisSystem SoftwareAbstract Object TheoryFormal Verification
No abstract available.
| Year | Citations | |
|---|---|---|
Page 1
Page 1