22
Trial use experiences with ASE and APE for the new CC EAL1 concept Thomas Borsch Bundesamt für Sicherheit in der Informationstechnik / Federal Office for Information Security 6th ICCC / 2005-09-28

Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Trial use experiences with

ASE and APE

for the new CC EAL1 concept

Thomas Borsch

Bundesamt für Sicherheit in der Informationstechnik /

Federal Office for Information Security

6th ICCC / 2005-09-28

Page 2: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 2

Presentation Contents

� Motivation for Low Assurance PPs/STs

� Course of events & the BSI Trial Use Project

� The new ASE/APE EAL1 Concept

� PPs defined in the Trial Use Project and PP usage

� Trial Use results

Page 3: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 3

Motivation

� EAL1 evaluations do not need a full-scale ST/PP

� Too complex to be written by a developer

� Too expensive to be evaluated at an EAL1 level

� Too difficult to be understood by an end user

� The evaluation effort ratio between ST/PP and the rest of

EAL1 is adverse

� CEM2.2: 78 ASE work units vs. 36 work units related to

other EAL1 SARs

This leads to the following conclusion:

Page 4: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 4

Conclusion

Simplified EAL1 ASE/APE would

reduce work without loosing assurance

CC could enter new markets

as small to medium-sized vendors

would be able to have their products certified

Increased number of certified products would enable

more secure IT infrastructures

Page 5: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 5

Course of Events

� 2003: Rewrite of the ASE/APE Criteria under

sponsorship of NLNSCA (lead nation) and

BSI

� 01/2004: New ASE/APE Criteria available for trials

� 02/2004: Start of BSI ASE/APE Trial Use Project

� 02/2005: Final results of Trial Use Project

� 05/2005: Incorporation of trial results into CC3.0

ASE/APE

Page 6: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 6

Scope of BSI Trial Use Project

� Validation of CC2.4 Low Assurance (EAL1) Concept:

� Definition / Evaluation and Certification of

four Protection Profiles according to CC 2.4 EAL1

� Involvement of BSI accredited Evaluation Labs

� Evaluation of PP conformant products (preferably two)

� Involvement of Product Vendors

� Analysis of the CC2.4 ASE/APE Criteria and the CEM

� Comparison of the efforts (CC2.1 vs. CC2.4/3.0) to be

spent for development and evaluation of EAL1 PPs

Page 7: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 7

CC2.2 � CC2.4 � CC3.0

� Common Criteria Version 2.2:

� Bases entirely on CC2.1

� Incorporates a number of Interpretations

� Common Criteria Version 2.4:

� Has a new ASE/APE concept compared to CC2.2

� Uses Part 2 of the CC2.2

� Small adaptations in several classes (e.g. ADV, ATE, ...)

to harmonize them with the new ASE/APE concept

� Common Criteria Version 3.0

� Same ASE/APE concept as CC2.4 with minor changes

� Modified/updated classes ADV/ALC/AGD/AVA/ATE

Page 8: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 8

New ASE/APE Concept

ASE/APE is leveled

ASE/APE for EAL1

OBJ.1Security Objectives for the Oper. Env.

REQ.1Stated Security Requirements

INT.1ST/PP Introduction

CCL.1Conformance Claims

ECD.1Extended Components Definition

TSS.1TOE Summary Specification

ASE/APE for EAL>1

CCL.1Conformance Claims

ECD.1Extended Components Definition

INT.1ST/PP Introduction

OBJ.2Security Objectives

REQ.2Derived Security Requirements

SPD.1Security Problem Definition

TSS.1TOE Summary Specification

Page 9: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 9

New ASE/APE Concept

EAL1 ASE/APE

� No Security Problem Definition

i.e. no Assumptions, Threats and OSPs

� Only Security Objectives for the Operational Environment

i.e. no Security Objectives for the TOE

� SFRs only have to be stated

i.e. no need to consider Dependencies

� No Rationales

i.e. no need to argue why a Threat is covered by an

Objective which is fulfilled if a SFR is implemented by the

TOE

� Other assurance components are the same for all EAL

Page 10: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 10

Trial Use LAPPs

� PPs developed, evaluated and certified as part of the

ASE/APE trial project:

� PP for VoIP Infrastructures

� PP for VPN Gateways

� PP for Personal Firewalls

� PP for Photocopier Devices

The PPs in more detail:

Page 11: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 11

LAPP - VoIP Infrastructure

� Title: LAPP for a VoIP infrastructure, Version 1.1

� Certification ID: BSI-PP-0012-2005

� Conformance Claims:

� CC2.4, Release 256 + Interpretations,

Part 2 and 3 conformant, EAL1

� Functionality:

� Restricting phone calls to certain numbers

(and change of restrictions)

� Management of Users and Telephones

� Logging of connection information

� Storage and secure retrieval of voice mails

Page 12: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 12

LAPP - VoIP Infrastructure

Page 13: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 13

LAPP - VPN Gateway

� Title: LAPP for a VPN Gateway, Version 1.4

� Certification ID: BSI-PP-0013-2005

� Conformance Claims:

� CC2.4, Release 256 + Interpretations,

Part 2 and 3 conformant, EAL1

� Functionality:

� Identification and authentication of remote user/networks

� VPN Tunneling

� Management

Page 14: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 14

LAPP - VPN Gateway

Page 15: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 15

LAPP - Personal Firewall

� Title: LAPP for a Software Based Personal Firewall

for home Internet use, Version 1.2

� Certification ID: BSI-PP-0014-2005

� Conformance Claims:

� CC2.4, Release 256 + Interpretations,

Part 2 and 3 conformant, EAL1

� Functionality:

� Regulate incoming and outgoing traffic

� Management of rule set

� Warning of the user

� Event Logging

Page 16: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 16

LAPP - Personal Firewall

Applications TOE

Operating System

Hardware NIC or

Modem

Home User (S.USER)

S.OUTSIDE

Page 17: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 17

LAPP - Photocopier Device

� Title: LAPP for a Office Based Photocopier Device,

Version 1.3

� Certification ID: BSI-PP-0015-2005

� Conformance Claims:

� CC2.4, Release 256 + Interpretations,

Part 2 and 3 conformant, EAL1

� Functionality:

� Object re-use (residual information is not retained)

� No leakage of information

(except printing it on paper by request of the user)

Page 18: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 18

Using the PPs

� Two products have been evaluated against the PPs:

� A VPN gateway of a small vendor

� A VoIP Infrastructure from Cisco

� Further inquiries for product certification have occurred:

� VPN PP was of particular interest

� Inquiries came from small vendors

� Not applied for certification yet

(mainly because of the version change from CC2.4 to

CC3.0)

Page 19: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 19

Trial Use Results - Positive

� Problems with the ASE/APE criteria encountered during the trials

have been fixed in CC3.0

(17 Interpretations have been raised during the trials)

� Defining and Evaluating PPs and STs according to CC2.4 EAL1 is

much more efficient compared to CC2.2

(2-3 man-days for the PP development and 3-4 man-days for the

evaluation)

� Reduced complexity of PPs/STs will open new markets for the CC

(Increasing interest from small to medium-sized vendors has shown

that already)

Page 20: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 20

Trial Use Results - Positive

� Most work intensive examinations have been left out

(No rationales required for EAL1 ASE / APE)

� Much better ratio between ASE and other EAL1 requirements

Comparison: Number of EAL1 Workunits

78

59 8

14

0

114

51

4 6 813

10

92

Sec

urity

Tar

get

Con

figura

tion

Con

trol

Functio

nal S

pec

Testin

g

Gui

dance

Vul

nera

bilit

y A

naly

sis

Total

CC2.2 CC3.0

Page 21: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 21

Trial Use Results - Negative

� It is more difficult for a vendor to step-up from EAL1 to EAL>1

(Low Assurance PPs/STs have to be augmented significantly to get

a full scale PP/ST)

� Missing “formal” specification of SPD, OBJ and the free placement of

requirements can have disadvantages

(Evaluators and Certification Schemes have to take more care that a

sensible TOE is specified)

� Scheme procedures may have to be adopted to be able to keep up

with the development and evaluation speed

(5 man-days for developing and evaluating a PP)

Page 22: Trial use experiences with ASE and APE for the new CC ...CC2.2 CC2.4 CC3.0 Common Criteria Version 2.2: Bases entirely on CC2.1 Incorporates a number of Interpretations Common Criteria

Thomas Borsch 2005-09-28 Slide 22

Contact Information

Bundesamt für Sicherheit in der

Informationstechnik (BSI) /

Federal Office for Information Security

Thomas Borsch

Godesberger Allee 185-189

53175 Bonn

Tel: +49 (0)1888-9582-467

Fax: +49 (0)1888-10-9582-467

[email protected]

www.bsi.bund.de

www.bsi-fuer-buerger.de