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.