Jaisook Landauer

Publication Activity (10 Years)

Years Active: 1984-1993
Publications (10 Years): 0

Publications

Jaisook Landauer, Timothy Redmond
A Lattice of Information. CSFW (1993)
Jaisook Landauer, Timothy Redmond
A Framework for Composition of Security Models. CSFW (1992)
Jaisook Landauer, Timothy Redmond, Terry Benzel
Formal Policies for Trusted Processes. CSFW (1989)
Leo Marcus, Stephen D. Crocker, Jaisook Landauer
SDVS: a system for verifying microcode correctness. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Leo Marcus, Stephen D. Crocker, Jaisook Landauer
SDVS: A system for verifying microcode correctness. MICRO (1984)