A Comparative Study of Policy Specification Languages for Secure Distributed Applications.

Sandrine Duflos Gladys Diaz Valérie Gay Eric Horlait

Published in: DSOM (2002)

Keyphrases

specification languages
formal specification
object oriented programs
first order logic
optimal policy
comparative study
cooperative
lightweight
security issues
web services
knowledge representation
security requirements