Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Home
Program Agenda
Posters
Project Highlight Slides
Breakout Sessions
Attendees
Registrants Attending
Registrants Not Attending
Organizing Committee
Files
CPS-VO
»
Secure and Trustworthy Cyberspace (SaTC) Community Forum
»
2017 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '17)
Using a Capability-Enhanced Microkernel as a Testbed for Language-based Security
View
Properties
Submitted by Mark Jones on Tue, 12/13/2016 - 4:06pm. Contributor:
Mark Jones
License:
Creative Commons 2.5
Other available formats:
Using a Capability-Enhanced Microkernel as a Testbed for Language-based Security
Switch to normal viewer
Switch to experimental viewer
PDF document
548.78 KB
6 downloads
Download
PDF version
Printer-friendly version
Project Slides
1422979
SaTC Pi Meeting 2017