Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code

DOI10.1007/978-3-642-10847-1_19zbMath1200.68156OpenAlexW100820593MaRDI QIDQ3557736

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

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

verificationsecurity policybehavior modelmobile code securitymodel-carrying code

Mathematics Subject Classification ID

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

This page was built for publication: Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code