heades/substruct-logic-security-bib

This is a bibliography of papers using substructural logics in security