|
|
Timothy E. LevinResearch Associate ProfessorMonterey,
CA 93943
phone: (831) 656-2239 fax: (831) 656-3339 e-mail: levin at nps edu CISR: http://cisr.nps.edu |
|
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 for 25 years, which has
provided to me the
relatively rare opportunities to play a major role in: (1) developing 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 verifying
the security properties of a commercially-fielded product; and (3)
defining a security requirements profile
for high assurance separation kernels that has been nationally
reviewed, and accepted as a standard by the U.S.Government.
My professional record as a Research Associate Professor includes course development, teaching, and practical experience (as above), including scholarly publications, research papers presented at professional meetings (see Publications, listed below), and research collaboration with peers in the fields of information assurance and computer security (such as Terry Benzel, USC ISI; Blaine Burnham, University of Nebraska; Rance DeLong, University of Santa Clara; Ruby Lee, Princeton University; Peter Neumann, SRI; Roger Schell, Aesec, Howard Jay Siegel, Colorado State; and Clark Weissman, Northrop Grumman Corp). 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), and make digital pictures.
|
