Technical Sessions |
March 1, 2006 |
| 7:30-10:30 |
Symposium Registration |
|
| 8:00-8:30 |
Welcome Refreshments |
|
| 8:30-10:00 |
Session 1: Opening |
|
Welcome and Symposium Overview |
|
Keynote Address: The Road to Practical Mandatory Security in Mainstream Operating Systems - an historical perspective.
Steve Walker, Steve Walker & Associates, USA |
| |
SELinux Year in Review (invited talk)
Stephen D. Smalley, National Security Agency, USA |
 Slides
|
| 10:00-10:30 |
BREAK |
|
| 10:30-12:00 |
Session 2: Security Architectures |
| 10:30
|
Moving FLASK to BSD Systems (invited talk)
Chris Vance, SPARTA, Inc., USA |
Slides
|
|
|
11:00
|
Design and Implementation of the SELinux Policy Management Server
Karl MacMillan, Joshua Brindle, Frank Mayer, David Caplan, and Jason Tang,
Tresys Technology, USA |
Slides
|
Paper
|
| 11:30 |
Towards Automated Authorization Policy Enforcement
Vinod Ganapathy, University of Wisconsin - Madison,
Somesh Jha and Trent Jaeger, Pennsylvania State University, USA |
Slides
|
Paper
|
| 12:00-1:30 |
LUNCH |
|
| 1:30-3:00 |
Session 3: SELinux Policy Development |
| 1:30 |
Reference Policy for Security Enhanced Linux
Chris PeBenito, Frank Mayer, and Karl MacMillan, Tresys Technology, USA |
Slides
|
Paper
|
| 2:00 |
Dynamic Policy Enforcement in a Network Environment
Mark Butler, Brandon Pollet, and John Hale, University of Tulsa, USA |
Slides
|
Paper
|
| 2:30 |
SELinux Protected Paths Revisited
Trent Jaeger, Pennsylvania State University, USA |
Slides
|
Paper
|
| 3:00-3:30 |
BREAK |
|
| 3:30-5:30 |
Session 4: Works in Progress |
| 3:30 |
Progress of SELinux Policy Editor
Yuichi Nakamura, The George Washington University, Hitachi Software, Japan |
| 3:45 |
SLIDE: An Integrated Policy Development Environment
James Athey, Tresys Technology, USA |
| 4:00 |
Integrating Multi-Category Security into Fedora
James Morris, Dan Walsh, Red Hat, USA |
| 4:15 |
Protecting the Internet from Zombie Armies with DeSPAC-SE
Eric Freudenthal, University of Texas at El Paso, USA |
| 4:30 |
A User-Space Monitor for High-Assurance Workflows
Jacques Thomas, Purdue University |
| 4:45 |
Playing Well With Others: Implementing CIPSO on Linux
Paul Moore, HP, USA |
| 5:00 |
Setools: Current Status and Future Directions
Kevin Carr, Tresys Technology, USA |
| 5:30-8:00 |
Reception |
|
| 6:00-8:00 |
Birds-of-a-Feather Sessions |
| 6:00 |
Policy Development Tools
Karl MacMillan, Tresys Technology, USA |
| 6:30 |
Linux Audit System
Steve Grubb, Red Hat, USA |
March 2, 2006 |
| 8:00-8:30 |
Welcome Refreshments |
|
| 8:30-10:15 |
Session 5: User and Application Issues |
| 8:30 |
Keynote Address:UK e-Government: Security Challenges and Solutions for Innovative Service Delivery
Dr. Steve Marsh, UK Cabinet Office, UK |
| 9:15 |
Case Study: Open Source and Commercial Applications in a Java-based SELinux Cross Domain Solution
Boyd Fletcher, Joint Forces Command - Joint Experimentation Directorate, USA |
Slides
|
|
| 9:45 |
Case Study: Enhancing IBM Websphere with SELinux
Marc Hocking, Technology Cabinet Office, e-Government Unit, UK, Karl MacMillan, Tresys Technology, USA, and Doc Shankar, IBM, USA |
Slides
|
Slides
|
| 10:15-10:45 |
BREAK |
|
| 10:45-12:15 |
Session 6: Policy Development and Languages |
| 10:45 |
Experience Implementing a Higher-Level Policy Language for SELinux
Chad Sellers, James Athey, Spencer Shimko, Frank Mayer, and Art Wilson
Tresys Technology, USA |
Slides
|
Paper
|
| 11:15 |
SENG: An Enhanced Policy Language for SELinux
Paul Kuliniewicz, Purdue University, USA |
Slides
|
Paper
|
| 11:45 |
Guided Policy Generation for Application Authors
Brian Sniffen, John Ramsdell, and David Harris, MITRE Corporation, USA |
Slides
|
Paper
|
| 12:15-1:45 |
LUNCH |
|
| 1:45-3:15 |
Session 7: Policy Application and Analysis |
| 1:45 |
Lessons Learned Developing Cross-Domain Solutions on SELinux
Karl MacMillan, Art Wilson, Spencer Shimko, Chad Sellers, and Frank Mayer, Tresys Technology, USA |
Slides
|
Paper
|
| 2:15 |
Lopol: A Deductive Database Approach to Policy Analysis and Rewriting
Aleks Kissinger and John Hale, University of Tulsa, USA |
Slides
|
Paper
|
| 2:45 |
Attack-based Domain Transition Analysis
Susan Hinrichs and Prasad Naldurg, University of Illinois at Urbana - Champaign, USA |
Slides
|
Paper
|
| 3:15-3:45 |
BREAK |
|
| 3:45-5:15 |
Session 8: Evolution of MLS Extensions |
| 3:45 |
SELinux and MLS: Putting the Pieces Together
Chad Hanson, Trusted Computer Solutions, Inc., USA |
Slides
|
Paper
|
| 4:15 |
Extending SELinux to meet LSPP data import/export requirements
Janak Desai, George Wilson, IBM Corporation and Chad Sellers, Tresys Technology, USA |
Slides
|
Paper
|
| 4:45 |
MCS - adding MLS features to the targeted policy
Russell Coker, Red Hat, Australia |
Slides
|
|
| 5:15 |
Closing and Gift Raffle |
Developer Summit |
March 3, 2006 |
|
Developer Summit
An invitation only meeting for the core
developers of SELinux to discuss future plans for SELinux and upcoming technologies. The Summit minutes are now available. |
