A Symbolic Model for Systematically Analyzing TEE-Based Protocols.
Shiwei XuYizhi ZhaoZhengwei RenLingjuan WuYan TongHuanguo ZhangPublished in: ICICS (2020)
Keyphrases
- high level
- probabilistic model
- mathematical model
- simulation model
- similarity measure
- objective function
- multi agent
- experimental data
- theoretical analysis
- computational model
- statistical model
- management system
- formal model
- sensitivity analysis
- theoretical framework
- neural network
- social networks
- search engine
- information retrieval