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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id EED74BBAF for ; Mon, 23 Jun 2008 06:56:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncCAMDJXkjAXQImiGdsb2JhbACSawEBAQ8gmxk X-IronPort-AV: E=Sophos;i="4.27,687,1204498800"; d="scan'208";a="14261650" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Jun 2008 06:56:06 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m5N4u6HZ015094 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 23 Jun 2008 06:56:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlECAMDJXkjc4TUjaWdsb2JhbACSaxIGCBKbGQ X-IronPort-AV: E=Sophos;i="4.27,687,1204498800"; d="scan'208";a="12425996" Received: from mx.daiict.ac.in ([220.225.53.35]) by mail2-smtp-roc.national.inria.fr with ESMTP; 23 Jun 2008 06:56:05 +0200 Received: from daiict.ac.in (smtp.daiict.ac.in [10.100.56.27]) by mx.daiict.ac.in (Postfix) with ESMTP id 9437D53339; Mon, 23 Jun 2008 10:26:03 +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 m5N4tkB3002436; Mon, 23 Jun 2008 10:25:59 +0530 Received: from 10.100.56.45 (proxying for 10.100.91.64) (SquirrelMail authenticated user abhishek_daiya) by webmail.daiict.ac.in with HTTP; Mon, 23 Jun 2008 10:25:59 +0530 (IST) Message-ID: <48905.10.100.56.45.1214196959.squirrel@webmail.daiict.ac.in> Date: Mon, 23 Jun 2008 10:25:59 +0530 (IST) Subject: Working of GNYtool From: "Abhishek Daiya" To: caml-list@inria.fr, 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-Miltered: at discorde with ID 485F2CE6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! 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