Todd Fine

Publication Activity (10 Years)

Years Active: 1989-1998
Publications (10 Years): 0

Publications

Duane E. Olawsky, Charles Payne, Thomas Sundquist, David Apostal, Todd Fine
Using Composition to Design Secure, Fault-Tolerant Systems. HASE (1998)
Todd Fine
Defining Noninterference in the Temporal Logic of Actions. IEEE Symposium on Security and Privacy (1996)
Duane E. Olawsky, Todd Fine, Edward A. Schneider, Ray Spencer
Developing and using a "policy neutral" access control policy. NSPW (1996)
Todd Fine, Spencer E. Minear
Assuring Distributed Trusted Mach. IEEE Symposium on Security and Privacy (1993)
Todd Fine
Constructively Using Noninterference to Analyze Systems. IEEE Symposium on Security and Privacy (1990)
Todd Fine, J. Thomas Haigh, Richard C. O'Brien, Dana L. Toups
Noninterference and the Unwinding for LOCK. CSFW (1989)