Skip to content
cs-conference-ranking.org

Belief semantics of authorization logic.

Andrew K. Hirsch, Michael R. Clarkson

VenueA*CCS
Year2013
ProceedingsCCS
DBLP recordconf/ccs/HirschC13 ↗

Browse the full CCS paper archive.