文件名称：SPARK_NORX:Ada 2012 SPARK 2014项目，该项目实现了NORX认证的加密算法
文件大小：29KB
文件格式：ZIP
更新时间：2024-06-01 00:57:56
Ada
SPARK_NORX 介绍 这是Ada 2012 / 项目，实现了带有附加数据算法的身份验证加密，这是竞赛的第三轮候选人。 NORX是由Jean-Philippe Aumasson，Philipp Jovanovic和Samuel Neves设计的。 Ada代码被编写为通用模板，并且NORX的每个变体都是从同一代码生成的。 Ada实现有一些要求（例如， Storage_Element必须是一个8位字节），而通用参数有一些要求（例如，速率，密钥大小等都必须是字长的倍数）。 该项目的目标是NORX32和NORX64规范的3.0版。 低端系统的变体基于同一作者的独立论文“ NORX8和NORX16：低端系统的身份验证加密”，但进行了一些修改以与主要规范的修订保持一致。 该项目是免费软件（使用ISC许可），并且没有任何保证，如LICENSE文件中所述。 软件包概述 主要的通用软件包是NORX
【文件预览】：
SPARK_NORX-master
----spark_norx.gpr(3KB)
----spark_norx_examples.gpr(1KB)
----LICENSE(737B)
----spark_norx_external.gpr(1KB)
----src()
--------norx0841.ads(1KB)
--------norx-utils.ads(443B)
--------norx3261.ads(1KB)
--------norx3241.ads(1KB)
--------norx-access_internals.ads(2KB)
--------load_store_le()
--------tests()
--------norx-utils.adb(1KB)
--------norx.ads(9KB)
--------norx.adb(17KB)
--------norx1641.ads(2KB)
--------norx-compare_tags.ads(1022B)
--------norx6461.ads(1KB)
--------norx_definitions.ads(840B)
--------load_store_explicit()
--------norx6441.ads(1KB)
--------norx-compare_tags.adb(964B)
----exec()
--------.gitkeep(0B)
----lib()
--------.gitkeep(0B)
----README.md(6KB)
----build()
--------.gitkeep(0B)