Certification Report
EAL 2+ Evaluation of Fortinet FortiGate™-1240B
Unified Threat Management Solution and FortiOS 4.0 CC
Compliant Firmware
Issued by:
Communications Security Establishment Canada
Certification Body
Canadian Common Criteria Evaluation and Certification Scheme
© Government of Canada, Communications Security Establishment Canada, 2011
Evaluation number: 383-4-183-CR
Version: 1.0
Date: 23 March 2011
Pagination: i to iii, 1 to 9
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page i of iii -
DISCLAIMER
The Information Technology (IT) product identified in this certification report, and its
associated certificate, has been evaluated at an approved evaluation facility – established
under the Canadian Common Criteria Evaluation and Certification Scheme (CCS) – using
the Common Methodology for Information Technology Security Evaluation, Version 3.1
Revision 3, for conformance to the Common Criteria for Information Technology Security
Evaluation, Version 3.1 Revision 3. This certification report, and its associated certificate,
apply only to the identified version and release of the product in its evaluated configuration.
The evaluation has been conducted in accordance with the provisions of the CCS, and the
conclusions of the evaluation facility in the evaluation report are consistent with the evidence
adduced. This report, and its associated certificate, are not an endorsement of the IT product
by the Communications Security Establishment Canada, or any other organization that
recognizes or gives effect to this report, and its associated certificate, and no warranty for the
IT product by the Communications Security Establishment Canada, or any other organization
that recognizes or gives effect to this report, and its associated certificate, is either expressed
or implied.
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page ii of iii -
FOREWORD
The Canadian Common Criteria Evaluation and Certification Scheme (CCS) provides a
third-party evaluation service for determining the trustworthiness of Information Technology
(IT) security products. Evaluations are performed by a commercial Common Criteria
Evaluation Facility (CCEF) under the oversight of the CCS Certification Body, which is
managed by the Communications Security Establishment Canada.
A CCEF is a commercial facility that has been approved by the CCS Certification Body to
perform Common Criteria evaluations; a significant requirement for such approval is
accreditation to the requirements of ISO/IEC 17025:2005, General requirements for the
Competence of Testing and Calibration Laboratories. Accreditation is performed under the
Program for the Accreditation of Laboratories - Canada (PALCAN), administered by the
Standards Council of Canada.
The CCEF that carried out this evaluation is EWA-Canada located in Ottawa, Ontario.
By awarding a Common Criteria certificate, the CCS Certification Body asserts that the
product complies with the security requirements specified in the associated security target. A
security target is a requirements specification document that defines the scope of the
evaluation activities. The consumer of certified IT products should review the security
target, in addition to this certification report, in order to gain an understanding of any
assumptions made during the evaluation, the IT product's intended environment, its security
requirements, and the level of confidence (i.e., the evaluation assurance level) that the
product satisfies the security requirements.
This certification report is associated with the certificate of product evaluation dated 23
March 2011, and the security target identified in Section 4 of this report.
The certification report, certificate of product evaluation and security target are posted on the
CCS Certified Products list (CPL) and the Common Criteria portal (the official website of
the Common Criteria Project).
This certification report makes reference to the following registered trademark:
• FortiGate™ is a registered trademark of Fortinet, Incorporated.
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page iii of iii -
TABLE OF CONTENTS
Disclaimer..................................................................................................................................................... i
Foreword..................................................................................................................................................... ii
Executive Summary.....................................................................................................................................1
1 Identification of Target of Evaluation ..............................................................................................2
2 TOE Description .................................................................................................................................2
3 Evaluated Security Functionality......................................................................................................2
4 Security Target....................................................................................................................................3
5 Common Criteria Conformance........................................................................................................3
6 Security Policy.....................................................................................................................................3
7 Assumptions and Clarification of Scope...........................................................................................3
7.1 SECURE USAGE ASSUMPTIONS .............................................................................................3
7.2 ENVIRONMENTAL ASSUMPTIONS..........................................................................................4
7.3 CLARIFICATION OF SCOPE.....................................................................................................4
8 Evaluated Configuration....................................................................................................................4
9 Documentation....................................................................................................................................4
10 Evaluation Analysis Activities ...........................................................................................................5
11 ITS Product Testing ...........................................................................................................................6
11.1 ASSESSMENT OF DEVELOPER TESTS.....................................................................................6
11.2 INDEPENDENT FUNCTIONAL TESTING...................................................................................6
11.3 INDEPENDENT PENETRATION TESTING .................................................................................7
11.4 CONDUCT OF TESTING ..........................................................................................................7
11.5 TESTING RESULTS .................................................................................................................7
12 Results of the Evaluation....................................................................................................................7
13 Evaluator Comments, Observations and Recommendations .........................................................7
14 Acronyms, Abbreviations and Initializations...................................................................................8
15 References............................................................................................................................................8
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page 1 of 9 -
Executive Summary
Fortinet FortiGate™-1240B Unified Threat Management Solution and FortiOS 4.0 CC
Compliant Firmware (hereafter referred to as FortiGate™-1240B), from Fortinet, is the
Target of Evaluation (TOE) for this Evaluation Assurance Level (EAL) 2 augmented
evaluation.
FortiGate™-1240B is a stand-alone firewall appliance that implements stateful application-
level traffic filtering1
. The appliance supports secure local and remote administration using
FIPS 140-2 validated cryptography.
EWA-Canada is the CCEF that conducted the evaluation. This evaluation was completed on
16 March 2011 and was carried out in accordance with the rules of the Canadian Common
Criteria Evaluation and Certification Scheme (CCS).
The scope of the evaluation is defined by the security target, which identifies assumptions
made during the evaluation, the intended environment for the FortiGate™-1240B, the
security requirements, and the level of confidence (evaluation assurance level) at which the
product is intended to satisfy the security requirements. Consumers are advised to verify that
their operating environment is consistent with that specified in the security target, and to give
due consideration to the comments, observations and recommendations in this certification
report.
The results documented in the Evaluation Technical Report (ETR)2
for this product provide
sufficient evidence that it meets the EAL 4 augmented assurance requirements for the
evaluated security functionality. The evaluation was conducted using the Common
Methodology for Information Technology Security Evaluation, Version 3.1 Revision 3, for
conformance to the Common Criteria for Information Technology Security Evaluation,
version 3.1 Revision 3. The following augmentation is claimed: ALC_FLR.2 – Flaw
Reporting procedures.
Communications Security Establishment Canada, as the CCS Certification Body, declares
that the FortiGate™-1240B evaluation meets all the conditions of the Arrangement on the
Recognition of Common Criteria Certificates and that the product will be listed on the CCS
Certified Products list (CPL) and the Common Criteria portal (the official website of the
Common Criteria Project).
1
Only packets matching a known active connection will be allowed by the firewall; others will be rejected.
2
The ETR is a CCS document that contains information proprietary to the developer and/or the evaluator, and
is not releasable for public review.
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page 2 of 9 -
1 Identification of Target of Evaluation
The Target of Evaluation (TOE) for this Evaluation Assurance Level (EAL) 2 augmented
evaluation is Fortinet FortiGate™-1240B Unified Threat Management Solution and FortiOS
4.0 CC Compliant Firmware (hereafter referred to as FortiGate™-1240B), from Fortinet,
Incorporated.
2 TOE Description
FortiGate™-1240B is a stand-alone firewall appliance that implements stateful traffic
filtering3
. The appliance supports secure local and remote administration using FIPS 140-2
validated cryptography.
3 Evaluated Security Functionality
The complete list of evaluated security functionality for the FortiGate™-1240B is identified
in Sections 5 & 6 of the Security Target (ST).
The following cryptographic module was evaluated to the FIPS 140-2 standard: FortiOS
#1431.
The following Government of Canada approved cryptographic algorithms were evaluated for
correct implementation in FortiGate™-1240B:
Cryptographic Algorithm Standard Certificate #
Triple-DES (3DES) FIPS 46-3 957, 962
Advanced Encryption Standard (AES) FIPS 197 1404, 1409
Rivest Shamir Adleman (RSA) FIPS 186-2 686
Secure Hash Standard (SHA-1) FIPS 180-2 1274, 1279
Keyed-Hash Message Authentication
Code (HMAC)
FIPS 198 825, 830
Random Number Generation (RNG) FIPS 140-2 770
3
Only packets matching a known active connection will be allowed by the firewall; others will be rejected.
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page 3 of 9 -
4 Security Target
The ST associated with this Certification Report is identified by the following nomenclature:
Title: Security Target for the Fortinet FortiGate™- 1240B Unified Threat Management
Solution and FortiOS 4.0 CC Compliant Firmware
Version: 1.2
Date: 18 February 2011
5 Common Criteria Conformance
The evaluation was conducted using the Common Methodology for Information Technology
Security Evaluation, Version 3.1 Revision 3, for conformance to the Common Criteria for
Information Technology Security Evaluation, Version 3.1 Revision 3.
FortiGate™-1240B is:
a. Common Criteria Part 2 conformant, with security functional requirements based only
upon functional components in Part 2;
b. Common Criteria Part 3 conformant, with security assurance requirements based only
upon assurance components in Part 3; and
c. Common Criteria EAL 2 augmented, containing all security assurance requirements in
the EAL 2 package, as well as the following: ALC_FLR.2 - Flaw Reporting procedures.
6 Security Policy
FortiGate™-1240B implements a stateful application-level traffic filtering flow control
policy. The default policy is restrictive, that is, until rules are configured by an administrator,
no traffic can flow through the TOE.
In addition, FortiGate™-1240B implements other policies pertaining to security audit, user
data protection, identification and authentication, security management, and encryption.
Further details on these security policies may be found in Section 5 of the ST.
7 Assumptions and Clarification of Scope
Consumers of FortiGate™-1240B should consider assumptions about usage and
environmental settings as requirements for the product’s installation and its operating
environment. This will ensure the proper and secure operation of the TOE.
7.1 Secure Usage Assumptions
The following Secure Usage Assumption is listed in the ST:
• Authorized administrators are non-hostile and follow all administrator guidance.
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page 4 of 9 -
7.2 Environmental Assumptions
The following Environmental Assumptions are listed in the ST:
• The TOE is physically secure;
• There are no general-purpose computing capabilities (e.g., the ability to execute
arbitrary code or applications) and storage repository capabilities on the TOE;
• The TOE does not host public data;
• Information can not flow among the internal and external networks unless it passes
through the TOE; and
• Authorized administrators may access the TOE remotely from the internal and
external networks.
7.3 Clarification of Scope
FortiGate™-1240B is not intended to be placed or operated in a hostile environment, and
should be protected by other products specifically designed to address sophisticated threats.
8 Evaluated Configuration
The evaluated configuration for FortiGate™-1240B includes:
Product FortiOS Version Hardware
Version
Crypto Module
FortiGate-
1240B
FortiOS 4.0 build 6443, 110212 C4CN43 FortiOS #1431
Documentation for the FortiGate™-1240B operated in Common Criteria mode consists of
the standard FortiOS version 4.0 documentation set with the FIPS-CC-specific technical
note.
9 Documentation
The Fortinet documents provided to the consumer are as follows:
• FortiGate Version 4.0 MR2 Administration Guide, 01-420-89802-20100326, 26
March 2010;
• FortiOS CLI Reference, 01-420-99686-20100811, 11 August 2010;
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page 5 of 9 -
• FortiOS Handbook v2 for FortiOS 4.0 MR2, 01-420-99686-20101026, 26 October
2010;
• FortiGate 2U Install Guide, 01-400-95524-20090501, 1 May 2009;
• FortiGate Log Message Reference, 01-420-112804-20100824, 24 July 2010; and
• FortiGate-1240 Quickstart Guide, 01-30007-106971-20091117, 17 November 2009.
10 Evaluation Analysis Activities
The evaluation analysis activities involved a structured evaluation of the FortiGate™-1240B,
including the following areas:
Development: The evaluators analyzed the FortiGate™-1240B functional specification and
design documentation; they determined that the design completely and accurately describes
the TOE security functionality (TSF) interfaces, the TSF subsystems and how the TSF
implements the security functional requirements (SFRs). The evaluators analyzed the
FortiGate™-1240B security architectural description and determined that the initialization
process is secure and that the security functions are protected against tamper and bypass. The
evaluators also independently verified that the correspondence mappings between the design
documents are correct.
Guidance Documents: The evaluators examined the FortiGate™-1240B preparative user
guidance and operational user guidance and determined that it sufficiently and
unambiguously described how to securely transform the TOE into its evaluated configuration
and how to use and administer the product. The evaluators examined and tested the
preparative and operational guidance, and determined that they are complete and sufficiently
detailed to result in a secure configuration.
Life-Cycle Support: An analysis of the FortiGate™-1240B configuration management
system and associated documentation was performed. The evaluators found that the
FortiGate™-1240B configuration items were clearly marked. The developer’s configuration
management system was observed during a site visit, and it was found to be mature and well
developed.
The evaluators examined the delivery documentation and determined that it described all of
the procedures required to maintain the integrity of FortiGate™-1240B during distribution to
the consumer.
The evaluators reviewed the flaw remediation procedures used by Fortinet for FortiGate™-
1240B. During a site visit, the evaluators also examined the evidence generated by
adherence to the procedures. The evaluators concluded that the procedures are adequate to
track and correct security flaws, and distribute the flaw information and corrections to
consumers of the product.
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page 6 of 9 -
Vulnerability Assessment: The evaluators conducted an independent vulnerability analysis
of FortiGate™-1240B. Additionally, the evaluators conducted a review of public domain
vulnerability databases, and a search of all evaluation deliverables. The evaluators identified
potential vulnerabilities for testing applicable to the FortiGate™-1240B in its operational
environment.
All these evaluation activities resulted in PASS verdicts.
11 ITS Product Testing
Testing at EAL 2 consists of the following three steps: assessing developer tests, performing
independent functional tests, and performing penetration tests.
11.1 Assessment of Developer Tests
The evaluators verified that the developer has met their testing responsibilities by examining
their test evidence, and reviewing their test results, as documented in the ETR4
.
The evaluators analyzed the developer’s test coverage and depth analysis and found them to
be complete and accurate. The correspondence between the tests identified in the developer’s
test documentation and the functional specification was complete.
11.2 Independent Functional Testing
During this evaluation, the evaluators developed independent functional tests by examining
design and guidance documentation, examining the developer's test documentation,
executing a sample of the developer's test cases, and creating test cases that augmented the
developer tests.
All testing was planned and documented to a sufficient level of detail to allow repeatability
of the testing procedures and results. Resulting from this test coverage approach was the
following list of EWA-Canada test goals:
a. Initialization: The objective of this test goal is to confirm that the TOE can be installed
and configured into the evaluated configuration, as identified in the TOE Description of
the Security Target, by following all instructions in the developer’s Installation and
Administrative guidance;
b. Repeat of Developer's Tests: The objective of this test goal is to repeat a subset of the
developer's tests on the evaluator’s TOE installation; and
4
The ETR is a CCS document that contains information proprietary to the developer and/or the evaluator, and
is not releasable for public review.
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page 7 of 9 -
c. FIP-CC mode Testing: The objective of this test goal is to confirm FIPS-CC mode
configuration.
11.3 Independent Penetration Testing
Subsequent to the independent review of public domain vulnerability databases and all
evaluation deliverables, limited independent evaluator penetration testing was conducted.
The penetration tests focused on port scanning, communications failure, concurrent
administrator logins, communications security, and secure session establishment.
The independent penetration testing did not uncover any exploitable vulnerabilities in the
intended operating environment.
11.4 Conduct of Testing
FortiGate™-1240B was subjected to a comprehensive suite of formally documented,
independent functional and penetration tests. The detailed testing activities, including
configurations, procedures, test cases, expected results and observed results are documented
in a separate Test Procedures and Test Results document.
11.5 Testing Results
The developer’s tests and the independent functional tests yielded the expected results,
giving assurance that the FortiGate™-1240B behaves as specified in its ST, functional
specification, TOE design, and security architecture description.
12 Results of the Evaluation
This evaluation has provided the basis for an EAL 2+ level of assurance. The overall verdict
for the evaluation is PASS. These results are supported by evidence in the ETR.
13 Evaluator Comments, Observations and Recommendations
The complete documentation for the FortiGate™-1240B includes comprehensive Evaluation,
Installation, and Users Guides.
The developer has an extensive and robust test suite capable of ensuring a proper working
product.
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page 8 of 9 -
14 Acronyms, Abbreviations and Initializations
Acronym/Abbreviation/
Initialization
Description
CCEF Common Criteria Evaluation Facility
CCS Canadian Common Criteria Evaluation and
Certification Scheme
CPL Certified Products list
CM Configuration Management
EAL Evaluation Assurance Level
ETR Evaluation Technical Report
IT Information Technology
ITSET Information Technology Security Evaluation
and Testing
PALCAN Program for the Accreditation of Laboratories
Canada
SFR Security Functional Requirement
ST Security Target
TOE Target of Evaluation
TSF TOE Security Functionality
TSFI TOE Security Functionality Interface
15 References
This section lists all documentation used as source material for this report:
a. CCS Publication #4, Technical Oversight, Version 1.8, October 2010.
b. Common Criteria for Information Technology Security Evaluation, Version 3.1R3,
July 2009.
c. Common Methodology for Information Technology Security Evaluation, CEM,
Version 3.1R3, July 2009.
d. Security Target for the Fortinet FortiGate™- 1240B Unified Threat Management
Solution and FortiOS 4.0 CC Compliant Firmware, Version 1.2, 18 February 2011.
e. Evaluation Technical Report (ETR) for EAL2+ Common Criteria Evaluation of
Fortinet FortiGate™-1240B Unified Threat Management Solution and FortiOS 4.0
CCS Certification Report Fortinet, Incorporated
FortiGate™-1240B
___________________________________________________________________________
Version 1.0 23 March 2011
- Page 9 of 9 -
CC Compliant Firmware, Document No. 1701-000-D002, Version 1.1, 16 March
2011, Common Criteria Evaluation Number: 383-4-184.