|
|
|
|
Timothy
E. Levin
Research
Associate Professor
|
|
Interests
|
My
primary research interests
are in the areas of dynamic, adaptive
security policies, high assurance and multilevel secure computing
systems, and the application of formal methods to the construction of
secure
computing systems, including the
demonstration of correspondence between the various representations of
a system (viz., those that are at different abstract levels).
|
|
Background
|
I
have worked on the design, development and formal verification of
high-assurance computer systems since 1985, which has
provided to me the
relatively rare opportunities to: (1) develop a formal
computer-security policy
model (as well as covert channel analysis and other formal
artifacts) that has been rigorously evaluated by the NSA, (2)
formally verify
the security properties of a commercially-fielded product; and (3)
define a security requirements profile
for high assurance separation kernels that has been nationally
reviewed, and accepted as a standard by the U.S.Government. More about
background
|
|
Research
|
I
work within the Center for Information Systems Security
Studies and Research (CISR). My current research projects
are: 3Dsec: Trustworthy
System Security through 3-D Integrated Hardware; TCX -
Trusted Computing Exemplar; Security
Domain Model; MYSEA
-
Monterey Security Architectures; Global
Information Grid Security
Support; and High
Assurance Platforms.
Past
CISR Projects include: SecureCore;
RCsec
- Adaptive Security and Separation in Reconfigurable Hardware; Emergency
Response for Cyber Infrastructure
Management; UDP and Collaboration Services; Avionic Authentication
Project; QoSS - Quality of Security Service; MSHN - The
Management
System for Heterogeneous Networks;
High Assurance MLS LAN - Multi-Level
Secure Local Area Network.
|
|
Publications
|
My
publications are listed here.
|
|
Students
|
The
students that I have advised are listed here.
|
|
Courses
|
I
developed the Advanced Topics in Computer
Security class (NPS course CS4614), and taught
it from 2001 through 2007.
|
|
Other
|
I
like to hike, play music (guitar), write (political satire
and fiction), and make digital pictures.
Reading is like breathing.
|
|