Jaisook Landauer

According to our database, Jaisook Landauer authored at least 4 papers between 1985 and 1993.

Collaborative distances:

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

1993

A Lattice of Information.

Jaisook Landauer, Timothy Redmond

Proceedings of the 6th IEEE Computer Security Foundations Workshop, 1993

1992

A Framework for Composition of Security Models.

Jaisook Landauer, Timothy Redmond

Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992

1989

Formal Policies for Trusted Processes.

Jaisook Landauer, Timothy Redmond, Terry Benzel

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1985

SDVS: a system for verifying microcode correctness.

Leo Marcus, Stephen D. Crocker, Jaisook Landauer

ACM SIGSOFT Softw. Eng. Notes, 1985