		Search-engine friendly clone of the ACL2 documentation.

Projects

Jfkr

An executable ACL2 model of the JFKr key establishment protocol for establishing a shared encryption key between two participants.

The directory projects/security/jfkr contains the ACL2 source files for the JFKr project. These ACL2 books may be built by running, e.g., make jfkr from the books/ directory. For details on this project, see the following ACL2 workshop paper:

David L. Rager. An executable model for security protocol JFKr. Eighth International Workshop on the ACL2 Theorem Prover and its Applications. ACM Press. Pages 106-109. May, 2009.

Copyright Information

JFKr Model
Copyright (C) 2008 University of Texas at Austin

This program is free software; you can redistribute it and/or modify it under the terms of Version 2 of the GNU General Public License as published by the Free Software Foundation.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.