Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints.
Sandro Di LeonardiFederico AromoloPietro FaraGabriele SerraDaniel CasiniAlessandro BiondiGiorgio C. ButtazzoPublished in: IEEE Access (2023)
Keyphrases
- temporal constraints
- security level
- real time
- temporal reasoning
- simple temporal
- constraint propagation
- temporal information
- temporal constraint networks
- information security
- workflow systems
- concurrency control protocols
- low cost
- database systems
- resource constraints
- functional dependencies
- database applications
- constraint networks
- secret key
- database
- constraint satisfaction problems