Sciweavers

3 search results - page 1 / 1
» acsac 1996
Sort
View
ACSAC
1996
IEEE
13 years 9 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