The International Congress on Security Protocols (ICSPS 2014) covers topics such as:
- 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
The International Congress on Security Protocols (ICSPS 2014) brings together:
- Mathematicians
- Researchers
- Practitioners
- Engineers