Login / Signup
Formal Analysis and Improvement of the State Transition Model for Intrusion Tolerant System.
Kaile Su
Congxin Zhao
Guanfeng Lv
Han Lin
Qingliang Chen
Published in:
WINE (2005)
Keyphrases
</>
formal analysis
state transition model
state transition
formal methods
software aging
agent model
ban logic
appearance model
artificial intelligence
database
case study
knowledge representation
decision support system
application server