Verification of Information Flow and Access Control Policies with Dependent Types

Nanevski, Aleksandar and Banerjee, Anindya and Garg, Deepak
(2011) Verification of Information Flow and Access Control Policies with Dependent Types.
In: Proceedings of the 32nd IEEE Symposium on Security and Privacy (S&P '11).
Conference: S&P - IEEE Symposium on Security and Privacy

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item