Skip to content

A logical analysis of authorized and prohibited information flows.

Frdric Cuppens

VenueA*SP
Year1993
ProceedingsS&P

Browse the full SP paper archive.