[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: Gary Grebus USG <grebus@fddimax.zk3.dec.com>
Date: Thu, 20 Jun 2002 18:43:25 -0400
In-reply-to: Your message of "Thu, 20 Jun 2002 13:04:24 EDT." <E17L5M8-0003XL-00@think.thunk.org>
Sender: owner-ipsec@lists.tislabs.com

> 
> 2.6 Formal proofs of security
> 

I haven't seen any specific claim that something would have to be traded off to get a 
formal proof of security of at least the core cryptographic protocol.  It 
would seem prudent to use whatever formal methods are available to check for 
protocol errors.  Especially in light of past "security protocols" that were 
shown to be insecure.

-- 
Gary Grebus
Hewlett-Packard Company
Tru64 UNIX Base OS Networking
Gary.Grebus@hp.com

Follow-Ups:
- RE: SOI QUESTIONS: 2.6 Formal proofs of security
  - From: "Andrew Krywaniuk" <andrew.krywaniuk@alcatel.com>
- 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.3 Authentication styles
Next by Date: RE: replacing preshared keys
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