- Timothy Levin
-
Research Associate Professor
Mail Code: CS/
Department of Computer Science
Graduate School of Operational and Information Sciences
Monterey, CA 93943
Phone: 831-656-2239
Email: televin@nps.edu
Web: faculty.nps.edu/levin/
- EDUCATION:
-
BS - Univ of California at Santa Cruz, 1981
NPS EXPERIENCE:
- 2001-Present, Research Associate Professor, Department of Computer Science
- 1998-2001, Senior Research Associate, Department of Computer Science
OTHER EXPERIENCE:
- 1994-1998, Staff Software Engineer, Sybase, Inc.
- 1985-1994, Senior Engineer, Gemini Computers, Inc.
TEACHING INTERESTS:
- Application of formal methods to secure computer systems
- Design of high assurance computer systems
- Creation of learning environments in which students apply graduate level knowledge and reasoning skills to constructively develop their own viewpoints and conclusions.
RESEARCH INTERESTS:
- High Assurance and Multilevel Secure Computing Architectures
- Hardware Security Mechanisms
- Separation Kernels, Security Education
- Dynamically Adaptive Security Policies
- The Application of Formal Methods to the Construction of Secure Computing Systems
BOARDS/MEMBERSHIPS:
SELECTED PUBLICATIONS:
- T. E. Levin, C. E. Irvine, and T. D. Nguyen, “Least privilege in separation kernels,” in E-business and Telecommunication Networks (J. Filipe and M. S. Obaidat, eds.), vol. 9 of Communications in Computer and Information Science, pp. 146 – 158, Springer, 2008.
- C. E. Irvine, T. E. Levin, P. C. Clark, and T. D. Nguyen, “A security architecture for transient trust,” in Computer Security Architecture Workshop, ACM, November 2008.
- Levin, T. E., Irvine, C. E., Weissman, C., and Nguyen, T. D., “Analysis of Three Multilevel Security Architectures,” ACM Computer Security Architecture Workshop, Fairfax, VA, November 2007, pp. 37-46.
- T.E. Levin, C.E. Irvine, and E. Spyropoulou, “Quality of Security Service: Adaptive Security,” Handbook of Information Security, H. Bidgoli, ed., Hoboken, NJ: John Wiley and Sons, 2006, pp. 1016-1025.
- C. E. Irvine and T. Levin, “Toward quality of security service in a resource management system benefit function,” in Proceedings of the 2000 Heterogeneous Computing Workshop, Cancun, Mexico, pp. 133–139, May 2000.
KEYWORDS/TECHNOLOGIES:
- Keywords: Computer security, information assurance, formal methods, constructivist education
|
