Login / Signup
Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints.
Sandro Di Leonardi
Federico Aromolo
Pietro Fara
Gabriele Serra
Daniel Casini
Alessandro Biondi
Giorgio C. Buttazzo
Published 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