Todd Fine

According to our database, Todd Fine authored at least 6 papers between 1989 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1998

Using Composition to Design Secure, Fault-Tolerant Systems.

Duane E. Olawsky, Charles Payne, Thomas Sundquist, David Apostal, Todd Fine

Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE '98), 1998

1996

Defining Noninterference in the Temporal Logic of Actions.

Todd Fine

Proceedings of the 1996 IEEE Symposium on Security and Privacy, 1996

Developing and using a "policy neutral" access control policy.

Duane E. Olawsky, Todd Fine, Edward A. Schneider, Ray Spencer

Proceedings of the 1996 Workshop on New Security Paradigms, 1996

1993

Assuring Distributed Trusted Mach.

Todd Fine, Spencer E. Minear

Proceedings of the 1993 IEEE Computer Society Symposium on Research in Security and Privacy, 1993

1990

Constructively Using Noninterference to Analyze Systems.

Todd Fine

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990

1989

Noninterference and the Unwinding for LOCK.

Todd Fine, J. Thomas Haigh, Richard C. O'Brien, Dana L. Toups

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989