Jaisook Landauer

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1993
A Lattice of Information.
Proceedings of the 6th IEEE Computer Security Foundations Workshop, 1993

1992
A Framework for Composition of Security Models.
Proceedings of the 5th IEEE Computer Security Foundations Workshop, 1992

1989
Formal Policies for Trusted Processes.
Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1985
SDVS: a system for verifying microcode correctness.
ACM SIGSOFT Softw. Eng. Notes, 1985


  Loading...