Among the topics of interest are:
- Access control and secure audit
- Analysis of security protocols
- Anonymity services
- Cryptographic primitives
- Electronic payment systems
- Enforcement of security policies
- Language-based security
- Privacy and identity management
- Secure mobile code
- Secure operating systems
- Security requirements engineering
- Security verification
- Vulnerability and threat analysis
|
|