DocumentCode
2273013
Title
Formal techniques for an ITSEC-E4 secure gateway
Author
Bieber, Pierre
Author_Institution
ONERA-CERT, Toulouse, France
fYear
1996
fDate
9-13 Dec 1996
Firstpage
236
Lastpage
245
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Applications Conference, 1996., 12th Annual
Conference_Location
San Diego, CA
ISSN
1063-9527
Print_ISBN
0-8186-7606-X
Type
conf
DOI
10.1109/CSAC.1996.569704
Filename
569704
Link To Document