Title :
Formal techniques for an ITSEC-E4 secure gateway
Author_Institution :
ONERA-CERT, Toulouse, France
Abstract :
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 the functional specifications by means of an interactive theorem prover. The formalisms were used to assist in the design of the security architecture
Keywords :
formal logic; formal specification; interactive systems; internetworking; network servers; safety-critical software; security of data; theorem proving; transport protocols; ITSEC-E4 secure gateway; Information Technology Security Evaluation Criteria; formal technique; functional specifications; interactive theorem prover; security architecture; security policy; Counting circuits; Data mining; Data security; Ethernet networks; Filters; Information security; Local area networks; Protection; Protocols; TCPIP;
Conference_Titel :
Computer Security Applications Conference, 1996., 12th Annual
Conference_Location :
San Diego, CA
Print_ISBN :
0-8186-7606-X
DOI :
10.1109/CSAC.1996.569704
