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.

Authors

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Gian Luigi Ferrari

This author has not been identified. Look up 'Gian Luigi Ferrari' in Google

Rosario Pugliese

This author has not been identified. Look up 'Rosario Pugliese' in Google