Skip to content

Specification and Validation of a Security Policy Model.

Anthony Boswell

VenueBFM
Year1993
ProceedingsFME

Browse the full FM paper archive.