Types as Specifications of Access Policies

Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese. Types as Specifications of Access Policies. In Jan Vitek, Christian Damsgaard Jensen, editors, Secure Internet Programming, Security Issues for Mobile and Distributed Objects. Volume 1603 of Lecture Notes in Computer Science, pages 118-146, Springer, 1999.

Abstract

Abstract is missing.