Data Authentication
| FLEXAUTH |
|
| This tool supports the authentication of arbitrary messages (or documents) by means of digital signatures with selective disclosure features. This tool has three different components, being an authentication component, a selective disclosure component, and a verification component. Given a signed message from the authentication component, the selective disclosure component can selectively disclose parts of the information of the original signed message (or document) to other receiving parties. This selective disclosure happens according to some well defined rules (called a policy) which can be determined by the originator of the data. A verifying party can then use the verification component to verify the authenticity of the partial information by means of the originator’s verification key. | Contact:
admin[at]prismacloud.eu
|
| VERIDAP |
|
| This tool supports the delegation of processing authenticated data in a way that the result can be efficiently verified for correctness. It comprises three different components, being a data originator component, a data processing component, and a verification component. The data originator component provides the input data (and potentially some additional metadata). The data processing component is given a set of input data and a description of the processing rules, and outputs the result of the computation, as well as a proof certifying the correctness of the delegated computation. The verification component takes a result and a proof (and potentially additional information) and can efficiently verify the correctness of the computation. | Contact:
admin[at]prismacloud.eu
|
| TOPOCERT |
|
| The topology certification tool supports the application of graph signatures to certify and prove properties of topologies. The tool is realized as an interactive protocol framework between the roles of an issuer, a prover and a verifier. The tool assumes that the topology is provided by another entity in a standard graph format. The issuer is responsible for the certification of the encoding for the topology certification framework, as well as for issuing a topology certificate to the prover. The prover compiles a zero-knowledge proof on the topology certificate to convince the verifier of the requested properties. | Contact:
admin[at]prismacloud.eu
|
| MSSLib |
|
| Malleable Signature Library (MSSLib) is a Java library (MSS library) and part of the PRISMACLOUD FLEXAUT cryptographic tool that supports various types of malleable signature schemes for controlled modification of signed data and verifiable computations. | Contact:
admin[at]prismacloud.eu
|
| GSSLib |
|
| Group Signature Library (GSSLib) is a Java library (GSS library) and part of the PRISMACLOUD FLEXAUTH cryptographic tool that supports group signature schemes, a variant of signature schemes which help to enhance the privacy of the signers. In particular in group signatures a group manager can set up a group so that every member of this group can anonymously generate a signature on behalf of the group. In addition there is an opening authority which can revoke the anonymity of the users in case of misbehaviour. | Contact:
admin[at]prismacloud.eu
|
| PIDMaaS |
|
| PRISMACLOUD Tools: A cryptographic toolbox for increasing security in cloud services. reusable toolbox encapsulating cryptographic functionality from which dependably secure cloud services can be assembled. In order to provide a tangible abstraction of the complexity involved with the construction of cryptographically secured cloud services, we introduce the fourlayer PRISMACLOUD architecture. Top down, it consists of a use cases (application) layer, a services layer, a tools layer, and a cryptographic primitives and protocols layer. In this paper we provide a detailed description of the PRISMACLOUD tools in terms of functional components, as well as how they interact to provide the desired security functionality. | Contact:
admin[at]prismacloud.eu
|
| UNICORN |
|
| A H2020 research and innovation project which facilitate the design and deployment of cloud applications and services and improve developers’ productivity by reducing cloud application design time via code annotations and blueprints for security. | Contact:
prothemes.net[at]gmail.com More information: |
| WITDOM Integrity and Consistency Verification |
|
| WITDOM’s Integrity and Consistency Verification component protects the integrity and consistency of data outsourced to an untrusted remote storage. | Contact:
bur[at]zurich.ibm.com More information: |