Temporal logic for proof-carrying code

DOI10.1007/3-540-45620-1_3MaRDI QIDQ4809041zbMATH OpenFDO

Authors Andrew B. Bernard, Peter Lee

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2392/23920031.htm

zbMATH Keywords

proof-carrying codetemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 2110618
• A scalable architecture for proof-carrying code
• On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors
• scientific article; zbMATH DE number 1330435
• A syntactic approach to foundational proof-carrying code

Cited in

(9)

• Formal logical language to set requirements for secure code execution
• A proof system for a unified temporal logic
• Verification of security-relevant behavior model and security policy for model-carrying code
• Temporal Logic Verification of Lock-Freedom
• Correct verification for code in trust-by-policy-adherence
• On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors
• scientific article; zbMATH DE number 148938 (Why is no real title available?)
• Integration of a security type system into a program logic
• Abstraction-carrying code: a model for mobile code safety

This page was built for publication: Temporal logic for proof-carrying code

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