Skip to content

Formal Techniques for an ITSEC-E4 Secure Gateway.

Pierre Bieber

VenueAACSAC
Year1996
ProceedingsACSAC

Browse the full ACSAC paper archive.