From owner-spki@c2.net Mon Mar 15 21:02:01 1999 Received: from blacklodge.c2.net (blacklodge.c2.net [140.174.185.245]) by lox.sandelman.ottawa.on.ca (8.8.7/8.8.8) with ESMTP id VAA14053; Mon, 15 Mar 1999 21:02:00 -0500 (EST) Received: (from majordom@localhost) by blacklodge.c2.net (8.8.8/8.7.3) id RAA20561 for spki-outgoing; Mon, 15 Mar 1999 17:15:29 -0800 (PST) X-Internal-ID: 36E2C6850008D2B2 Message-ID: <36EDB052.2D6F68A1@seguridata.com> Date: Mon, 15 Mar 1999 19:13:55 -0600 From: Jose de Jesus Angel Angel Organization: SeguriDATA X-Mailer: Mozilla 4.5 [en] (Win95; I) X-Accept-Language: en MIME-Version: 1.0 CC: Ron Rivest , spki@c2.net Subject: cuestion References: <199903152033.PAA16740@swan.lcs.mit.edu> <36ED7A4B.85E2FFED@research.bell-labs.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-spki@c2.net Precedence: bulk Hi Some one know if is posible that the PKI have a mathematical or formal model to proof their properties Jesus Angel