[Previo por Fecha] [Siguiente por Fecha] [Previo por Hilo] [Siguiente por Hilo]
[Hilos de Discusión] [Fecha] [Tema] [Autor]
Universidad Nacional Auton'oma de M'exico
Direcci'on General de Servicios de C'omputo Acad'emico
'Area de Seguridad en C'omputo
VIDEOCONFERENCIA CERIAS PURDUE
Seguridad en C'omputo 99 (DISC 99)
"Trabajando Juntos"
El 'Area de Seguridad en C'omputo, a trav'es de la Direcci'on General de
Servicios de C'omputo Acad'emico (DGSCA), informa a toda la comunidad
que se han realizado diversos esfuerzos para cubrir el espacio dejado por
la cancelacisn de un ponente magistral ara el d'ia viernes 8 de Octubre.
Como respuesta El Dr. EUGENE SPAFFORD ha aceptado que el Evento DISC99 se
enlace directamente el Viernes por la Tarde a los seminarios de Seguridad
que Per'odicamente el Laboratorio de Seguridad (CERIAS) que 'el dirige
puedan ser presentados a la toda la comunidad de DISC99.
Entonces el programa del viernes sufrir'a algunos cambios que en su
momento ser'an dados a conocer. Durante la Videoconferencia el Dr.
Spaford dara un mensaje a la comunidad de DISC99, que consideramos ser'a
de gran trascendencia para nuestro evento.
La platica del seminario programada para el viernes en los laboratorios de
Seguridad del CERIAS en purdue para el pr'oximo viernes ser'a la
siguiente:
October 8: Catherine Meadows, Naval Research Laboratory
A Formal Framework and Evaluation Method for Protocol Denial of Service
Una breve descripcisn de su platica es anexada a continuaci'on :
====================================================================
Denial of service is becoming a growing concern. As our systems
communicate more and more with others that we know less and less, they
become increasingly vulnerable to hostile intruders who may take advantage
of the very protocols intended for the establishment and authentication of
communication to tie up our resources and disable our servers. Since these
attacks occur before parties are authenticated to each other, we cannot
rely upon enforcement of the appropriate access control policy to protect
us. Instead we must build our defenses, as much as possible, into the
protocols themselves. This talk shows how some principles that have
already been used to make protocols more resistant to denial of service
can be formalized, and indicates the ways in which existing cryptographic
protocol analysis tools could be modified to operate within this
framework.
About the speaker: Catherine Meadows is head of the Formal Methods Section
in the Center for High Assurance Computer Systems at the Naval Research
Laboratory She has published more than 50 papers on formal methods,
cryptography, and security. Her research interests include the application
of formal methods to computer security, in particular to the evaluation of
cryptographic protocols and distributed systems. She has also been
involved in the organization of numerous conferences on security and
reliability, having been program chair of the Computer Security
Foundations Workshop, the IEEE Symposium on Security and Privacy, the IEEE
Symposium on High Assurance System Engineering, and the Sixth IFIP Working
Conference on Dependable Computing for Critical Applications. She is also
a founding member of IFIP Working Group 1.7 on Foundations of Security
Analysis and Design. Prior to coming to NRL, she was an assistant
professor of mathematics at Texas A&M University from 1981-1985. Dr.
Meadows received a B.A. in mathematics from the University of Chicago in
1975 and a Ph.D. in mathematics from the University of Illinois in 1981.
================================================================
En breve se dar'a a conocer los cambios finales que sufrira nuestro
programa para el d'ia viernes y agradecemos al Dr. Spafford ya a Catherine
Meadows de la Naval de los Estados Unidos su inter'es por participar en
DISC99.
Cualquier duda o comentario al respecto pueden comunicarse al
'Area de Seguridad en C'omputo
DGSCA - UNAM
Tel : 56 22 81 69
Fax : 56 22 80 43
E-Mail : disc99 en asc unam mx
http://www.asc.unam.mx/disc.html
Saludos
--JC GUEL