HBAC

MaRDI QIDQ21861swMATHFDO

Official website http://link.springer.com/chapter/10.1007/11863908_17

Cited in

(2)

• Automatic generation of history-based access control from information flow specification
• Higher-order program verification and language-based security (extended abstract)

This page was built for software: HBAC