A Certified Distributed Security Logic for Authorizing Code

DOI10.1007/978-3-540-74464-1_17zbMATH Open1178.03041OpenAlexW1507710127MaRDI QIDQ3612450FDOQ3612450

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

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

Mathematics Subject Classification ID

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

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

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)