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