A Certified Distributed Security Logic for Authorizing Code

DOI10.1007/978-3-540-74464-1_17zbMath1178.03041OpenAlexW1507710127MaRDI QIDQ3612450

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)

Related Items (1)

Logic in Access Control (Tutorial Notes)

Uses Software

• Unnamed Item

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