C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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