Skip to main content

Secure Distributed Logic Programming

Researcher: Frank Pfenning

Cross Cutting Thrusts: Formal Methods | Software Security


Scope: We propose to design and implement a distributed logic programming language with advanced security guarantees. It derives its expressive power from the underlying logic, which incorporates linearity, epistemic modalities, and affirmations that characterize distributed possession, knowledge, and authorization. This is a continuation of last year’s seed grant, which has achieved highly promising preliminary results.

Outcomes: We expect to have two papers, as well as a second prototype implementation demonstrating feasibility. We also expect to submit a proposal to NSF’s Trustworthy Computing program.