Formal Techniques for an ITSEC-E4 Secure Gateway

San Diego California December 09-December 13

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CSAC.1996.569704

12th Annual Computer Security Applica ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by P. Bieber

	ASCII Text	x
	P. Bieber, "Formal Techniques for an ITSEC-E4 Secure Gateway," Computer Security Applications Conference, Annual, pp. 236, 12th Annual Computer Security Applications Conference (ACSAC '96), 1996.

	BibTex	x
	@article{ 10.1109/CSAC.1996.569704, author = {P. Bieber}, title = {Formal Techniques for an ITSEC-E4 Secure Gateway}, journal ={Computer Security Applications Conference, Annual}, volume = {0}, year = {1996}, issn = {1063-9527}, pages = {236}, doi = {http://doi.ieeecomputersociety.org/10.1109/CSAC.1996.569704}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer Security Applications Conference, Annual TI - Formal Techniques for an ITSEC-E4 Secure Gateway SN - 1063-9527 SP EP A1 - P. Bieber, PY - 1996 KW - formal specification; formal technique; ITSEC-E4 secure gateway; security policy; functional specifications; interactive theorem prover; security architecture; Information Technology Security Evaluation Criteria VL - 0 JA - Computer Security Applications Conference, Annual ER -

P. Bieber, ONERA-CERT, Toulouse, France

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.

Index Terms:

formal specification; formal technique; ITSEC-E4 secure gateway; security policy; functional specifications; interactive theorem prover; security architecture; Information Technology Security Evaluation Criteria

Citation:

P. Bieber, "Formal Techniques for an ITSEC-E4 Secure Gateway," acsac, pp.236, 12th Annual Computer Security Applications Conference (ACSAC '96), 1996

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.