A Certified Distributed Security Logic for Authorizing Code

DOI10.1007/978-3-540-74464-1_17MaRDI QIDQ3612450zbMATH OpenOpenAlexFDO

Authors Nathan Whitehead

Publication date 10 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-74464-1_17

Mathematics Subject Classification ID

Logic in computer science (03B70) Data encryption (aspects in computer science) (68P25)

Recommendations

• Programming Languages and Systems
• Automated Deduction – CADE-19
• A type system for expressive security policies
• Certification Using the Mobius Base Logic
• Foundational certified code in the Twelf metalogical framework

Cited in

(7)

• Logic in Access Control (Tutorial Notes)
• Certification Using the Mobius Base Logic
• AURA
• A type system for expressive security policies
• Programming Languages and Systems
• Verifying Datalog reasoning with Lean
• Stratified Datalog and Program Analysis

Describes a project that uses

Uses Software

• Coq

This page was built for publication: A Certified Distributed Security Logic for Authorizing Code

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