Multi-level
security |
|
Standards
and evaluation criteria |
|
Laboratories
and institutes |
|
Formal
methods in Computer Security |
|
Researchers |
|
John McLean,
CHACS
|
|
Ross Anderson, University
of Cambridge
|
|
Martín Abadi, UCSC
|
|
Ravi Sandhu, GMU
|
|
Dorothy Denning, Georgetown
University
|
|
Virgil Gligor,
University of Marylan
|
|
Joseph Goguen, UCSD
|
|
Sushil Jajodia,
GMU
|
|
Gene
Spafford, Purdue University
|
|
Elisa Bertino, Università
degli Studi di Milano
|
|
John Rushby, SRI
|
|
Fred B. Schneider, Cornell University
|
|
James A. Rome, Oak Ridge National Laboratory
|
|
Confidentiality |
|
Miscelanea |
|