OVERVIEW:#

hlpsl2if is a translator which maps security protocol specifications into rewriting systems. It is written in Objective Caml which is an implementation of the ML language, based on the Caml Light dialect.

USAGE:#

hlpsl2if [options] [file.hlpsl]

Options:
--types ....... Print identifiers and their types
--init ........ Print initial state
--rules ....... Print protocol rules
--goals ....... Print goals
--all ......... Print everything (default)
--split ....... Split goals in different IF files
--stdout ...... Print on the standard output
--output dir .. Set the output directory (default: same as input)
--nowarnings .. Do not display warnings
--debug int ... Debug level (0-5)
-help ......... Display this list of options
--help ........ Display this list of options

DOCUMENTATION:#

hlpsl2if documentation is distributed by the AVISPA group in diverse formats. It is available on the World Wide Web, at http://www.avispa-project.org/

AVAILABILITY:#

hlpsl2if can be accessed through a Web browser at http://www.avispa-project.org/

Ajouter un attachement

Seuls les utilisateurs autorisés peuvent publier de nouveaux attachements.
« Cette page (révision-1) a été modifiée pour la dernière fois le 23-mars-2011 18:38 par (auteur inconnu)