Correct verification for code in trust-by-policy-adherence

zbMATH Open1192.68434MaRDI QIDQ3576154FDOQ3576154

Authors: Li Li, Guosun Zeng 

Publication date: 29 July 2010

Full work available at URL: http://pphmj.com/abstract/4882.htm

Recommendations

• Verification of security-relevant behavior model and security policy for model-carrying code
• A type system for expressive security policies
• scientific article; zbMATH DE number 2090286
• Foundations of Software Science and Computation Structures
• Programming Languages and Systems

zbMATH Keywords

aspect-oriented programmingalternating time temporal logiccorrect verificationpolicy adherence

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Cited In (1)

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

This page was built for publication: Correct verification for code in trust-by-policy-adherence

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