Search the dblp DataBase

Publications of Author

1. Leo Marcus, Timothy Redmond
   Two Automated Methods in Implementation Proofs. [Citation Graph (0, 0)][DBLP]
   CADE, 1988, pp:622-642 [Conf]
   
2. Sandra Rawlings Murphy, Stephen Crocker, Timothy Redmond
   Unwinding and the LOCK Proof Referees Study. [Citation Graph (0, 0)][DBLP]
   CSFW, 1992, pp:9-21 [Conf]
   
3. Jaisook Landauer, Timothy Redmond
   A Framework for Composition of Security Models. [Citation Graph (0, 0)][DBLP]
   CSFW, 1992, pp:157-166 [Conf]
   
4. Jaisook Landauer, Timothy Redmond
   A Lattice of Information. [Citation Graph (0, 0)][DBLP]
   CSFW, 1993, pp:65-70 [Conf]
   
5. Jaisook Landauer, Timothy Redmond, T. Benzel
   Formal Policies for Trusted Processes. [Citation Graph (0, 0)][DBLP]
   CSFW, 1989, pp:31-40 [Conf]
   
6. Leo Marcus, Timothy Redmond
   A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. [Citation Graph (0, 0)][DBLP]
   CSFW, 1988, pp:127-138 [Conf]
   
7. Calvin Ko, Timothy Redmond
   Noninterference and Intrusion Detection. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Security and Privacy, 2002, pp:177-187 [Conf]
   
8. Ömer Egecioglu, Timothy Redmond, Charles Ryavec
   From a Polynomial Riemann Hypothesis to Alternating Sign Matrices. [Citation Graph (0, 0)][DBLP]
   Electr. J. Comb., 2001, v:8, n:1, pp:- [Journal]
   
9. 
   Managing Change: An Ontology Version Control System. [Citation Graph (, )][DBLP]