SecTro: A CASE Tool for Modelling Security in Requirements Engineering using Secure Tropos.
Michalis PavlidisShareeful IslamPublished in: CAiSE Forum (2011)
Keyphrases
- requirements engineering
- security requirements
- security patterns
- requirements analysis
- goal oriented
- software engineering
- information security
- security mechanisms
- security issues
- security analysis
- requirements specification
- security properties
- access control
- smart card
- security level
- key management
- security policies
- requirements elicitation
- formal model
- life cycle
- agent oriented
- development process
- systems development
- security protocols
- sensitive data
- software architecture
- software development process
- software development
- software intensive systems
- user authentication
- business process
- privacy preserving
- intrusion detection
- information systems
- cryptographic protocols
- security measures
- artificial intelligence
- machine learning
- real world