Specifying Confidentiality in Circus.

Michael J. Banks, Jeremy L. Jacob

Browse the full FM paper archive.