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

MaRDI QIDQ3576154zbMATH OpenFDO

Authors Li Li, Guosun Zeng

Publication date 29 July 2010

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

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)

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

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)