Reasoning about inter-procedural security requirements in IoT applications.
Mattia PaccamiccioLeonardo MostardaPublished in: CoRR (2022)
Keyphrases
- security requirements
- security problems
- security analysis
- smart card
- security model
- information security
- access control
- security concerns
- management system
- security properties
- security policies
- security mechanisms
- software architecture
- mobile commerce
- reference models
- object oriented
- security patterns
- security protocols
- requirements engineering
- software engineering
- artificial intelligence