Trent Jaeger is an Associate Professor in the Computer Science and Engineering Department at The Pennsylvania State University and the Co-Director of the Systems and Internet Infrastructure Security Lab. He joined Penn State after working for IBM Research for nine years in operating systems and system security research groups. Trent's research interests include operating systems security, access control, and source code and policy analysis tools. He has published over 70 refereed research papers on these subjects. Trent has made a variety of contributions to open source systems security, particularly to the Linux Security Modules framework, the SELinux module and policy development, integrity measurement in Linux, and the Xen security architecture. He is active in the security research community, having been a member of the program committees of all the major security conferences,and the program chair of the ACM CCS Government and IndustryTrack and ACM SACMAT, as well as chairing several workshops. He is an associate editor with ACM TOIT and has been a guest editor of ACM TISSEC. Trent has an M.S. and a Ph.D. from the University of Michigan, Ann Arbor, in Computer Science and Engineering in 1993 and 1997, respectively.

• Introduction.- Access Control Fundamentals.- Multics.- Security in Ordinary Operating Systems.- Verifiable Security Goals.- Security Kernels.- Securing Commercial Operating Systems.- Case Study: Solaris Trusted Extensions.- Case Study: Building a Secure Operating System for Linux.- Secure Capability Systems.- Secure Virtual Machine Systems.- System Assurance.

Trent Jaeger is an Associate Professor in the Computer Science and Engineering Department at The Pennsylvania State University and the Co-Director of the Systems and Internet Infrastructure Security Lab. He joined Penn State after working for IBM Research for nine years in operating systems and system security research groups. Trent's research interests include operating systems security, access control, and source code and policy analysis tools. He has published over 70 refereed research papers on these subjects. Trent has made a variety of contributions to open source systems security, particularly to the Linux Security Modules framework, the SELinux module and policy development, integrity measurement in Linux, and the Xen security architecture. He is active in the security research community, having been a member of the program committees of all the major security conferences,and the program chair of the ACM CCS Government and IndustryTrack and ACM SACMAT, as well as chairing several workshops. He is an associate editor with ACM TOIT and has been a guest editor of ACM TISSEC. Trent has an M.S. and a Ph.D. from the University of Michigan, Ann Arbor, in Computer Science and Engineering in 1993 and 1997, respectively.

• Introduction.- Access Control Fundamentals.- Multics.- Security in Ordinary Operating Systems.- Verifiable Security Goals.- Security Kernels.- Securing Commercial Operating Systems.- Case Study: Solaris Trusted Extensions.- Case Study: Building a Secure Operating System for Linux.- Secure Capability Systems.- Secure Virtual Machine Systems.- System Assurance.

Trent Jaeger is an Associate Professor in the Computer Science and Engineering Department at The Pennsylvania State University and the Co-Director of the Systems and Internet Infrastructure Security Lab. He joined Penn State after working for IBM Research for nine years in operating systems and system security research groups. Trent's research interests include operating systems security, access control, and source code and policy analysis tools. He has published over 70 refereed research papers on these subjects. Trent has made a variety of contributions to open source systems security, particularly to the Linux Security Modules framework, the SELinux module and policy development, integrity measurement in Linux, and the Xen security architecture. He is active in the security research community, having been a member of the program committees of all the major security conferences,and the program chair of the ACM CCS Government and IndustryTrack and ACM SACMAT, as well as chairing several workshops. He is an associate editor with ACM TOIT and has been a guest editor of ACM TISSEC. Trent has an M.S. and a Ph.D. from the University of Michigan, Ann Arbor, in Computer Science and Engineering in 1993 and 1997, respectively.

• Introduction.- Access Control Fundamentals.- Multics.- Security in Ordinary Operating Systems.- Verifiable Security Goals.- Security Kernels.- Securing Commercial Operating Systems.- Case Study: Solaris Trusted Extensions.- Case Study: Building a Secure Operating System for Linux.- Secure Capability Systems.- Secure Virtual Machine Systems.- System Assurance.