Searching for authors named "Todd Fine" – sorted by Relevance.
-
Defining Noninterference in the Temporal Logic of Actions
- Defining Noninterference in the Temporal Logic of Actions Todd Fine Secure Computing Corporation
- Cited by 2 (0 self) – Add To MetaCart
-
A Framework for Composition
- A Framework for Composition Todd Fine Secure Computing Corporation 2675 Long Lake Road, Roseville
- Cited by 9 (3 self) – Add To MetaCart
-
Developing and Using a "Policy Neutral" Access Control Policy
- Developing and Using a "Policy Neutral" Access Control Policy Duane Olawsky, Todd Fine, Edward
- Cited by 13 (0 self) – Add To MetaCart
-
Using Composition to Design Secure, Fault-Tolerant Systems
- Sundquist z David Apostal Todd Fine Abstract Complex systems must be analyzed in smaller pieces. Analysis
- Cited by 2 (0 self) – Add To MetaCart
-
Assuring Distributed Trusted Mach
- Assuring Distributed Trusted Mach Todd Fine and Spencer E. Minear Secure Computing Corporation
- Cited by 17 (2 self) – Add To MetaCart
-
Composability For Secure Systems Final Report
- Olawsky Charles Payne Todd Fine Tom Sundquist David Apostal Program: Composability for Secure Systems
- Add To MetaCart

