Automated analysis of timed security: a case study on web privacy.
Roberto GorrieriRuggero LanotteAndrea Maggiolo-SchettiniFabio MartinelliSimone TiniEnrico TronciPublished in: Int. J. Inf. Sec. (2004)
Keyphrases
- automated analysis
- security issues
- security concerns
- statistical databases
- automated detection
- preserving privacy
- website
- security properties
- information security
- security mechanisms
- biomedical imaging
- privacy issues
- sensitive data
- visual analysis
- privacy preserving
- security threats
- security and privacy issues
- personal data
- privacy concerns
- security risks
- trust relationships
- security requirements
- data security
- privacy requirements
- petri net
- data privacy
- personal information
- web pages
- biometric template
- confidential information
- rfid systems
- identity management
- case study
- access control
- cell nuclei
- security policies
- private information
- electronic payment
- computer vision
- security measures
- video data
- privacy protection
- machine learning