Verification of security-relevant behavior model and security policy for model-carrying code

DOI10.1007/978-3-642-10847-1_19MaRDI QIDQ3557736zbMATH OpenOpenAlexFDO

Authors Yonglong Wei, Xiaojuan Zheng, Jinglei Ren, Xudong Zheng, Chen Sun, Zhenhao Li

Publication date 23 April 2010

Published in Security Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-10847-1_19

zbMATH Keywords

behavior modelmobile code securitymodel-carrying codesecurity policyverification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A model checking-based approach for security policy verification of mobile systems
• Correct verification for code in trust-by-policy-adherence
• scientific article; zbMATH DE number 2090286
• scientific article; zbMATH DE number 1330435
• Proving the correctness of mobile Java code

Cited in

(3)

• scientific article; zbMATH DE number 1808260 (Why is no real title available?)
• Correct verification for code in trust-by-policy-adherence
• A model checking-based approach for security policy verification of mobile systems

This page was built for publication: Verification of security-relevant behavior model and security policy for model-carrying code

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3557736)