Remote Attestation Approach by Cross-Layer Security Policy Translation
The security policy can exactlv reflect the security expectations of svstem models Besides.it is also an important method of remote attestation of computing environment.which is based on model behaviors Existing policy measurement approaches focus on single model However.practical policies usuallv include various kinds of model properties so that existing methods cannot meet the demands of combined policy measurement and unified expected description of multiple collaborativemechanisms and dvnamic control systems This paper proposes a novel remote attestationapproach on cross-layer security policy translation.CPMA.which is used to verifv secunty expectations and combined policy measurements of multiple model systems CPMA presents securitY exceptionexpressions and the descriptions of the high-layer policy and the low-layer policy It also designs the translation algorithm and verification algorithm with low overhead to achieve the trusted measurement of multiple mechanism policies Extensive evaluations show that CPMA can measure and verifv svstem actionsaccuratelv and effe ctively.
Remote Attestation Security Expectation Policy Translation Filter Verification
国内会议
湖北恩施
英文
1-14
2014-09-13（万方平台首次上网日期，不代表论文的发表时间）