Thuy D. Nguyen is a Research Associate of the Department
of Computer Science at the Naval Postgraduate School. She has over 19
years of engineering and technical management experience in high assurance
Multi-Level Secure (MLS) Operating Systems, secure client-server applications
development, and network security research. She is currently a technical
lead for multiple research projects, including the development of an
exemplar high assurance separation kernel that is targeted for EAL7
Common Criteria evaluation, implementation of a high assurance distributed
MLS client-server system, and construction of an MLS testbed. She also
performs research on dynamic security services and web security technologies,
serves as advisors to postgraduate students, and teaches advanced topics
in computer security and information assurance. Ms. Nguyen has been
a key contributor to the formulation of the draft Protection Profile
for Separation Kernels in Environments Requiring High Robustness (SKPP).
In prior positions she was an NSA-certified Vendor Security Analyst and a senior kernel engineer where
she developed kernel software for a TCSEC Class A1 security kernel commercial
product. She also was the product manager for an IPsec-based Firewall/VPN
product and a highly secure MLS-aware web server.
Timothy E. Levin is an Associate Research Professor at the Naval Postgraduate
School. He has spent over 19 years working in all aspects of secure
computer systems research and development. His secure system work has
included design of security features, and formal verification of the
GEMSOS A1 operating system, and design and development of
security features for the Sybase SQL Server. Mr. Levin has been a key
contributor to the formulation of the draft Protection Profile for Separation
Kernels in Environments Requiring High Robustness (SKPP). He has also
been certified by the NSA as a “Vendor Security Analyst” for participation
in their Trusted Product Evaluation Program. His current research interests
include modeling of dynamic security policies in heterogeneous networks,
analysis and design of multi-component security architectures, and the
application of formal methods to the development of high assurance computer
systems. Mr. Levin has a SECRET security clearance and is a member of
both the ACM and IEEE.
Dr. Cynthia Irvine is the Director of the Center for Information
Systems Security Studies and Research (CISR) and a Professor of Computer
Science at the Naval Postgraduate School, where she has worked since
1994. Her research centers on the design and construction of high assurance
systems and multilevel security. She is an author on over 100 papers
and reports on security and has supervised the research of over 80 Masters
and PhD students. She has served on numerous government committees and
review boards. In 2001, Dr. Irvine received the Naval Information Assurance
Award. In 2004, she received the William Hugh Murray Founder’s Award
from the Colloquium for Information Systems Security Education. She
is a member of the ACM, a lifetime member of the ASP, and a Senior Member
of the IEEE.