International Congress on Security Protocols (ICSPS 2014)

Topics

• Security analysis methodologies
• Formal aspects of security
• Security protocols
• Security verification
• Security and design vulnerability
• Security architectures and formalisms
• Performance and security
• Security and privacy protection
• Software design security
• Secure group communication/multicast
• Security for nomadic code
• Middleware security
• Static analysis for software security
• Intrusion detection systems
• Identity management
• Security modeling
• PKI
• Security law enforcement
• Incident response planning
• PKI Key management
• Firewalls
• Intrusion detection and event correlation
• Software security assurance
• Trust management
• Applied cryptography
• Secure protocols
• Biometrics
• Smart cards
• Electronic surveillance
• Digital rights management
• Database security

Who should Attend

• Mathematicians
• Researchers
• Practitioners
• Engineers