Self-Checking Tamper-Proofing Based on Software Behavior Model.
Dan LiYingsong HuXiangxiao HuHefei LingPublished in: FCST (2009)
Keyphrases
- computational model
- mathematical model
- metamodel
- probabilistic model
- experimental data
- theoretical analysis
- simulation environment
- decision making
- prediction model
- formal model
- conceptual model
- test cases
- computer systems
- software engineering
- management system
- multi agent
- objective function
- reinforcement learning
- high level
- knowledge base