Descargar la presentación
La descarga está en progreso. Por favor, espere
1
A Declarative Approach for the study of Security Protocols. Hugo Andrés López A. Grupo de Investigación AVISPA Pontificia Universidad Javeriana
2
Seguridad en la Computación La computación se sustenta actualmente por paradigmas de computo y almacenamiento distribuidos. El desarrollo de las redes de comunicación, en particular internet y las redes inalámbricas presupone mayores riesgos que la información se mantenga disponible.
3
Process Calculi for Security Protocols
4
Constraint – Based Process Calculus for Security Protocols (SPL)
5
Needham-Schroeder Protocol: Example for Authentication
6
Network Attackers.
7
Theoretical models of Security Networks
8
Case Study: P2P systems
9
Current Results
10
Thesis Possibilities Two main trends of research: Implementation of Real-World Protocols. Construction of Logical Approaches using Concurrent Constraint Programming (CCP). Other Suggestions? The possibilities are endless.
11
!!Thank You!!
Presentaciones similares
