Seguridad
multi-nivel |
|
Estándares
y criterios de evaluación |
|
Laboratorios
e institutos |
|
Métodos
formales en seguridad |
|
Investigadores |
|
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
|
|
Confidencialidad |
|
Generales |
|