TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms.
Guangdong BaiJianan HaoJianliang WuYang LiuZhenkai LiangAndrew P. MartinPublished in: FM (2014)
Keyphrases
- model checking
- computing platform
- remote attestation
- trusted computing
- temporal logic
- computing systems
- distributed computing
- parallel computing
- cloud computing
- formal verification
- model checker
- automated verification
- formal specification
- temporal properties
- computing environments
- verification method
- symbolic model checking
- embedded systems
- virtual machine
- computation tree logic
- development environment
- transition systems
- epistemic logic
- formal methods
- concurrent systems
- distributed environment
- modal logic
- timed automata
- databases
- alternating time temporal logic
- bounded model checking
- linear temporal logic
- security protocols
- computer systems
- data analysis