Name of the program :
LySa - Analysis of Origin and Destination Authentication

Authors:
Mikael Buchholtz and Hanne Riis Nielson

Copyright © The researchers and professors of the Technical University of Denmark. All Rights Reserved.

Permission to use, copy, modify and distribute any part of this Software for educational, research, and non-profit purposes, without fee and without a written agreement, is hereby granted, provided that the above copyright notice, this paragraph and the following four paragraphs appear in all copies.

Those desiring to incorporate this Software into commercial products or to use it for commercial purposes should contact the Technology Transfer Office, The Secretariat of Research and Innovation, Technical University of Denmark, Anker Engelundsvej, Building 101 A, DK-2800 Kgs. Lyngby, Denmark. Fax (+45) 45888040.

IN NO EVENT SHALL THE TECHNICAL UNIVERSITY OF DENMARK BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, OR ANY OTHER DAMAGES, INCLUDING LOST PROFITS, ARISING OUT OF THE USE OF THIS SOFTWARE, EVEN IF THE TECHNICAL UNIVERSITY OF DENMARK HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

THE SOFTWARE PROVIDED HEREIN IS ON AN "AS IS" BASIS, AND THE TECHNICAL UNIVERSITY OF DENMARK HAS NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS OR MODIFICATIONS. THE TECHNICAL UNIVERSITY OF DENMARK MAKES NO REPRESENTATIONS AND EXTENDS NO WARRANTIES OF ANY KIND, EITHER IMPLIED OR EXPRESS, INCLUDING - BUT NOT LIMITED TO - THE IMPLIED WARRANTIES OF MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE, OR THAT THE USE OF THE SOFTWARE WILL NOT INFRINGE ANY PATENT, TRADEMARK OR OTHER RIGHTS.

CITATIONS:
C. Bodei, M. Buchholtz, P. Degano, H. Riis Nielson, and F. Nielson: Automatic Validation of Protocol Narration. In proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW 2003). p 126-140. IEEE Computer Society Press. 2003.