Formal Techniques for an ITSEC-E4 Secure Gateway

A
ACSAC
1996
12th Annual Computer Security Applications Conference (ACSAC '96)
Abstract - Formal Techniques for an ITSEC-E4 Secure Gateway

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

12th Annual Computer Security Applications Conference (ACSAC '96)

San Diego California

December 09-December 13

ISBN: 0-8186-7606-X

	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

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

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.