[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: SOI QUESTIONS: 2.6 Formal proofs of security

To: ipsec@lists.tislabs.com
Subject: Re: SOI QUESTIONS: 2.6 Formal proofs of security
From: Paul Hoffman / VPNC <paul.hoffman@vpnc.org>
Date: Thu, 20 Jun 2002 11:06:00 -0700
In-Reply-To: <E17L5M8-0003XL-00@think.thunk.org>
References: <E17L5M8-0003XL-00@think.thunk.org>
Sender: owner-ipsec@lists.tislabs.com

At 1:04 PM -0400 6/20/02, Theodore Ts'o wrote:
>2.6.)  Does SOI need to provide a formal proof of security?  (Is this
>a "must have" or a "nice to have"?  What are we willing to trade-off
>for having a formal proof of security?)

In the typical VPN scenario (either gateway-to-gateway or 
remote-access WAN), this is not important. It is nice to have, of 
course, but only to keep ourselves happy.

--Paul Hoffman, Director
--VPN Consortium

Follow-Ups:
- Re: SOI QUESTIONS: 2.6 Formal proofs of security
  - From: Paul Koning <pkoning@equallogic.com>

References:
- SOI QUESTIONS: 2.6 Formal proofs of security
  - From: "Theodore Ts'o" <tytso@mit.edu>

Prev by Date: Re: SOI QUESTIONS: 2.6 Formal proofs of security
Next by Date: Re: SOI QUESTIONS: 2.3 Authentication styles
Prev by thread: Re: SOI QUESTIONS: 2.6 Formal proofs of security
Next by thread: Re: SOI QUESTIONS: 2.6 Formal proofs of security
Index(es):
- Date
- Thread