Reasoning About Inter-procedural Security Requirements in IoT Applications.
Mattia PaccamiccioLeonardo MostardaPublished in: AINA (3) (2022)
Keyphrases
- security requirements
- security problems
- smart card
- security analysis
- information security
- security mechanisms
- security properties
- access control
- security concerns
- security policies
- software architecture
- management system
- mobile commerce
- security model
- covert channel
- object oriented
- cloud computing
- reference models
- requirements engineering
- security patterns
- databases
- secure electronic
- big data
- data processing
- relational databases
- information systems