cpsa-2.0.2: cpsa.cabal
Name: cpsa
Version: 2.0.2
Maintainer: ramsdell@mitre.org
Cabal-Version: >= 1.2
License: BSD3
License-File: license.txt
Synopsis: Symbolic cryptographic protocol analyzer
Description: The Cryptographic Protocol Shapes Analyzer
(CPSA) attempts to enumerate all essentially
different executions possible for a
cryptographic protocol. We call them the
shapes of the protocol. Naturally occurring
protocols have only finitely many, indeed very
few shapes. Authentication and secrecy
properties are easy to determine from them, as
are attacks and anomalies.
Category: Cryptography
Build-Type: Simple
Data-Files:
doc/index.html doc/cpsauser.html doc/cpsa.mk doc/Make.hs
doc/cpsaprimer.pdf doc/cpsaoverview.pdf doc/ffgg.scm doc/ns.scm
doc/or.scm doc/woolam.scm doc/yahalom.scm
-- In cabal 1.6, use this:
-- Data-Files:
-- index.html cpsauser.html cpsa.mk Make.hs cpsaprimer.pdf cpsaoverview.pdf
-- ffgg.scm ns.scm or.scm woolam.scm yahalom.scm
-- Data-Dir: doc
Extra-Source-Files:
Makefile ChangeLog README NEWS ghci cpsatst doc/README
doc/Makefile doc/macros.tex doc/cpsaprimer.tex doc/bcasyntax.tex
doc/cpsaspec.tex doc/cpsadesign.tex doc/cpsaoverview.tex
doc/cpsadiagrams.mp doc/strands.mp doc/cmstrands.mp doc/carriers.mp
doc/termtree.mp doc/cpsa.bib doc/SDAG.lhs src/index.html
src/cpsacgi src/cpsacgi.py src/cpsa2svg src/cpsa.el
src/httpd_allow_execmem.te src/cpsaops.scm src/preskel
src/sexpr.pl tst/README tst/Makefile tst/Make.hs tst/checktst
tst/cpsagraphall tst/cpsashapesall tst/dass.lisp
tst/completeness-test.scm tst/completeness-test.tst
tst/missing-contraction.scm tst/missing-contraction.tst
tst/dass-mod.lisp tst/dass_simple.scm tst/dass_simple.tst
tst/denning-sacco.scm tst/denning-sacco.tst tst/dh.sch tst/dh.tst
tst/ds-short.lisp tst/dy.lsp tst/dy.tst tst/epmo_acctnum.lsp
tst/epmo_acctnum.tst tst/epmo.scm tst/encsig.scm tst/encsig.tst
tst/epmo.tst tst/ffgg.scm tst/ffgg.tst tst/isoreject.scm
tst/isoreject.tst tst/kelly1.scm tst/kelly1.tst tst/kelly64.lisp
tst/kerb5.lisp tst/kerberos.scm tst/kerberos.tst
tst/neuman-stubblebine-alt.lisp tst/neuman-stubblebine-reauth.lisp
tst/neuman-stubblebine-reauth.lsp tst/neuman-stubblebine-reauth.tst
tst/neuman-stubblebine.scm tst/neuman-stubblebine.tst tst/nsl3.scm
tst/nsl3.tst tst/nsl4.lisp tst/nsl5i.lisp tst/nsl5.lisp
tst/nslsk.scm tst/nslsk.tst tst/ns.scm tst/ns.tst tst/or.scm
tst/or.tst tst/pca.lsp tst/pca.tst tst/tnsl5.lisp tst/updatetst
tst/sigenc.scm tst/sigenc.tst tst/weird.scm tst/weird.tst
tst/wmf.lsp tst/wmf.tst tst/woolam.scm tst/woolam.tst
tst/yahalom.scm tst/yahalom.tst tst/sorted_epmo_acctnum.scm
tst/sorted_epmo_acctnum.tst tst/nsl4cm1.lsp tst/nsl4cm1.tst
-- Disable with -f-par option during configuration.
Flag Par
Description: Enable use of the parallel construct par
Default: True
Flag Old
Description: Enable support for cabal < 1.6
Default: False
-- Algebra implementations must import CPSA.Lib.CPSA.
-- Tools may additionally import CPSA.Lib.Entry.
-- No other modules in CPSA.Lib should be imported by applications.
Executable cpsa
Main-Is: CPSA/Lib/Main.hs
Build-Depends: base <= 4.2.0.0, containers
GHC-Options:
-Wall -fno-warn-name-shadowing -fwarn-unused-imports
Hs-Source-Dirs: src
--Hackage if flag(old)
--Hackage Hs-Source-Dirs: dist/build/autogen
Other-Modules:
Paths_cpsa CPSA.Lib.Vector CPSA.Lib.Utilities CPSA.Lib.Pretty
CPSA.Lib.SExpr CPSA.Lib.Printer CPSA.Lib.Entry CPSA.Lib.Algebra
CPSA.Lib.Protocol CPSA.Lib.Strand CPSA.Lib.Loader
CPSA.Lib.Displayer CPSA.Lib.Cohort CPSA.Lib.Expand CPSA.Lib.CPSA
CPSA.Basic.Algebra CPSA.DiffieHellman.Algebra
CPSA.DiffieHellman.IntLinEq
if flag(par)
Cpp-Options: -DHAVE_PAR
GHC-Options: -threaded
Build-Depends: parallel
Executable cpsagraph
Main-Is: CPSA/Graph/Main.hs
Build-Depends: base <= 4.2.0.0, containers
GHC-Options:
-Wall -fno-warn-name-shadowing -fwarn-unused-imports
Hs-Source-Dirs: src
--Hackage if flag(old)
--Hackage Hs-Source-Dirs: dist/build/autogen
Other-Modules:
Paths_cpsa CPSA.Lib.Utilities CPSA.Lib.Pretty CPSA.Lib.SExpr
CPSA.Lib.Printer CPSA.Lib.Entry CPSA.Lib.Algebra CPSA.Lib.Protocol
CPSA.Lib.Strand CPSA.Lib.Loader CPSA.Lib.Displayer CPSA.Lib.Cohort
CPSA.Lib.CPSA CPSA.Graph.XMLOutput CPSA.Graph.Config
CPSA.Graph.SVG CPSA.Graph.Loader CPSA.Graph.Preskeleton
CPSA.Graph.Layout CPSA.Graph.Tree CPSA.Graph.CompactView
CPSA.Graph.ExpandedView CPSA.Graph.LaTeXView
Executable cpsashapes
Main-Is: CPSA/Shapes/Main.hs
Build-Depends: base <= 4.2.0.0, containers
GHC-Options:
-Wall -fno-warn-name-shadowing -fwarn-unused-imports
Hs-Source-Dirs: src
--Hackage if flag(old)
--Hackage Hs-Source-Dirs: dist/build/autogen
Other-Modules:
Paths_cpsa CPSA.Lib.Utilities CPSA.Lib.Pretty CPSA.Lib.SExpr
CPSA.Lib.Printer CPSA.Lib.Entry CPSA.Lib.Algebra CPSA.Lib.Protocol
CPSA.Lib.Strand CPSA.Lib.Loader CPSA.Lib.Displayer CPSA.Lib.Cohort
CPSA.Lib.CPSA CPSA.Shapes.Shapes
Executable cpsaannotations
Main-Is: CPSA/Annotations/Main.hs
Build-Depends: base <= 4.2.0.0, containers
GHC-Options:
-Wall -fno-warn-name-shadowing -fwarn-unused-imports
Hs-Source-Dirs: src
--Hackage if flag(old)
--Hackage Hs-Source-Dirs: dist/build/autogen
Other-Modules:
Paths_cpsa CPSA.Lib.Utilities CPSA.Lib.Pretty CPSA.Lib.SExpr
CPSA.Lib.Printer CPSA.Lib.Entry CPSA.Lib.Algebra CPSA.Lib.Protocol
CPSA.Lib.Strand CPSA.Lib.Loader CPSA.Lib.Displayer CPSA.Lib.Cohort
CPSA.Lib.CPSA CPSA.Annotations.Formulas
CPSA.Annotations.Annotations CPSA.Basic.Algebra
CPSA.DiffieHellman.Algebra CPSA.DiffieHellman.IntLinEq
Executable cpsaparameters
Main-Is: CPSA/Parameters/Main.hs
Build-Depends: base <= 4.2.0.0, containers
GHC-Options:
-Wall -fno-warn-name-shadowing -fwarn-unused-imports
Hs-Source-Dirs: src
--Hackage if flag(old)
--Hackage Hs-Source-Dirs: dist/build/autogen
Other-Modules:
Paths_cpsa CPSA.Lib.Utilities CPSA.Lib.Pretty CPSA.Lib.SExpr
CPSA.Lib.Printer CPSA.Lib.Entry CPSA.Lib.Algebra CPSA.Lib.Protocol
CPSA.Lib.Strand CPSA.Lib.Loader CPSA.Lib.Displayer CPSA.Lib.Cohort
CPSA.Lib.CPSA CPSA.Parameters.Flow
Executable cpsapp
Main-Is: CPSA/Pretty/Main.hs
Build-Depends: base <= 4.2.0.0, containers
GHC-Options:
-Wall -fno-warn-name-shadowing -fwarn-unused-imports
Hs-Source-Dirs: src
--Hackage if flag(old)
--Hackage Hs-Source-Dirs: dist/build/autogen
Other-Modules:
Paths_cpsa CPSA.Lib.Utilities CPSA.Lib.Pretty CPSA.Lib.SExpr
CPSA.Lib.Printer CPSA.Lib.Entry CPSA.Lib.Algebra CPSA.Lib.Protocol
CPSA.Lib.Strand CPSA.Lib.Loader CPSA.Lib.Displayer CPSA.Lib.Cohort
CPSA.Lib.CPSA