Revisiting Liveness Properties in the Context of Secure Systems.

Felix C. Gärtner

Published in: FASec (2002)

Keyphrases

intelligent systems
context sensitive
real time
expert systems
distributed systems
artificial intelligence
database systems
complex systems
databases
case study
management system
context aware
building blocks
learning systems
desirable properties
security patterns