From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 2F487BBAF for ; Mon, 23 Jun 2008 14:58:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgsBAHw6X0jc4TUjjWdsb2JhbACSbAEBAQEJBQYHE51M X-IronPort-AV: E=Sophos;i="4.27,690,1204498800"; d="scan'208";a="14404307" Received: from mx.daiict.ac.in ([220.225.53.35]) by mail3-smtp-sop.national.inria.fr with ESMTP; 23 Jun 2008 14:57:46 +0200 Received: from daiict.ac.in (smtp.daiict.ac.in [10.100.56.27]) by mx.daiict.ac.in (Postfix) with ESMTP id 1FBB7533B6 for ; Mon, 23 Jun 2008 18:27:40 +0530 (IST) Received: from webmail.daiict.ac.in (smtp.daiict.ac.in [10.100.56.27]) (authenticated bits=0) by daiict.ac.in (8.13.1/8.13.1) with ESMTP id m5NCuppN026031 for ; Mon, 23 Jun 2008 18:26:51 +0530 Received: from 10.100.99.22 (SquirrelMail authenticated user abhishek_daiya) by webmail.daiict.ac.in with HTTP; Mon, 23 Jun 2008 18:26:51 +0530 (IST) Message-ID: <49218.10.100.99.22.1214225811.squirrel@webmail.daiict.ac.in> Date: Mon, 23 Jun 2008 18:26:51 +0530 (IST) Subject: Working of GNYtool From: "Abhishek Daiya" To: caml-list@yquem.inria.fr Reply-To: abhishek_daiya@daiict.ac.in User-Agent: SquirrelMail/1.4.6-1 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal X-DAIICT-Scanner: Found to be clean X-DAIICT-Scanner-From: abhishek_daiya@daiict.ac.in X-Spam: no; 0.00; monniaux:01 www-verimag:01 monniaux:01 compiler:01 tar:01 imag:02 compiled:04 anybody:07 protocols:07 protocols:07 student:09 internship:10 analysis:11 research:12 but:14 Dear All, I am a computer science student from India. I am working on some security protocols under my research internship. For analysis of the protocols, I need to run 'GNYtool' developed by David Monniaux. http://www-verimag.imag.fr/~monniaux/download/gnytool.tar.gz I have compiled the tool using 'Ocaml' compiler but I am not able to figure out how to use the tool. Could anybody please help me out. Thanking you, - Abhishek Daiya BTech, DA-IICT