Sciweavers

156
Voted
ACSAC
1996
IEEE
15 years 11 months ago
Mandatory Protection for Internet Server Software
Richard E. Smith
ACSAC
1996
IEEE
15 years 11 months ago
Formal Techniques for an ITSEC-E4 Secure Gateway
In this paper we describe the method used to develop a gateway capable of meeting the ITSEC E4 requirements. The security policy was formally modelled and proven consistent with t...
Pierre Bieber