diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-08-14 00:11:33 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-08-14 00:11:33 +0100 |
commit | 1013bb04a30c552ec7ff5e3fe97074b0531a024d (patch) | |
tree | a94f2330bae429402db01020da9c60782e27af89 /sci-mathematics/proverif/metadata.xml | |
parent | 40c113c340752d507394d37cd6b60abb741daed0 (diff) |
gentoo auto-resync : 14:08:2023 - 00:11:33
Diffstat (limited to 'sci-mathematics/proverif/metadata.xml')
-rw-r--r-- | sci-mathematics/proverif/metadata.xml | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/sci-mathematics/proverif/metadata.xml b/sci-mathematics/proverif/metadata.xml new file mode 100644 index 000000000000..e388e8201c2b --- /dev/null +++ b/sci-mathematics/proverif/metadata.xml @@ -0,0 +1,33 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> + +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>ML</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription> + ProVerif is an automatic cryptographic protocol verifier, in the formal + model (so called Dolev-Yao model). This protocol verifier is based on a + representation of the protocol by Horn clauses. Its main features are: 1) + It can handle many different cryptographic primitives, including shared- + and public-key cryptography (encryption and signatures), hash functions, + and Diffie-Hellman key agreements, specified both as rewrite rules or as + equations. 2) It can handle an unbounded number of sessions of the protocol + (even in parallel) and an unbounded message space. This result has been + obtained thanks to some well-chosen approximations. This means that the + verifier can give false attacks, but if it claims that the protocol + satisfies some property, then the property is actually satisfied. The + considered resolution algorithm terminates on a large class of protocols + (the so-called "tagged" protocols). When the tool cannot prove a property, + it tries to reconstruct an attack, that is, an execution trace of the + protocol that falsifies the desired property. + </longdescription> + <upstream> + <bugs-to>https://gitlab.inria.fr/bblanche/proverif/-/issues/</bugs-to> + </upstream> +</pkgmetadata> |