Project Report Intuitionistic Multimodal Logic as an Authorization Logic 15-816 Modal Logic


This project presents an intuitionistic multimodal logic based on indexed modalities of validity and possibility, and its potential application as a logic for Proof Carrying Authorization [AF99] in a distributed system. The report begins by considering an authorization logic presented by Garg and Pfenning in [GP06] which describes statements certified by… (More)


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics