3 search results - page 1 / 1 » acsac 1996 |
156
click to vote
ACSAC
1996
IEEE
15 years 7 months ago
1996
IEEE
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...