Affine Refinement Types for Authentication and Authorization

Bugliesi, Michele and Calzavara, Stefano and Eigner, Fabienne and Maffei, Matteo
(2012) Affine Refinement Types for Authentication and Authorization.
In: Proc. 6th International Symposium on Trustworthy Global Computing (TGC 2012).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item