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

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

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

(5)

• Programming Languages and Systems
• A type system for expressive security policies
• Logic in Access Control (Tutorial Notes)
• AURA
• Certification Using the Mobius Base Logic

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)