Formal Verification

api

de.adorsys.keymanagement : api

Fluent-API to generate encryption keys and keystores. Query-like syntax to read and manipulate keys in keystore.

Last Version: 0.0.6

Release Date:

spring-keycloak

org.teiid : spring-keycloak

Secure OData, and Teiid pg/JDBC with Keycloak

Last Version: 1.7.2

Release Date:

Redback :: Key Management API

org.apache.archiva.redback : redback-keys-api

Archiva is an application for managing one or more remote repositories, including administration, artifact handling, browsing and searching.

Last Version: 2.6.2

Release Date:

Spring Data KeyValue

org.springframework.data : spring-data-keyvalue

Global parent pom.xml to be used by Spring Data modules

Last Version: 2.7.1

Release Date:

juggler-bouncycastle

de.adorsys.keymanagement : juggler-bouncycastle

Fluent-API to generate encryption keys and keystores. Query-like syntax to read and manipulate keys in keystore.

Last Version: 0.0.6

Release Date:

Last Version: 3.8.2

Release Date:

Last Version: 15.1.1

Release Date:

jMonkeyEngine

org.jmonkeyengine : jme3-core

jMonkeyEngine is a 3-D game engine for adventurous Java developers

Last Version: 3.5.2-stable

Release Date:

Redback :: Authentication Provider :: Keys

org.apache.archiva.redback : redback-authentication-keys

Archiva is an application for managing one or more remote repositories, including administration, artifact handling, browsing and searching.

Last Version: 2.6.2

Release Date:

Redback :: Key Management Provider :: Cached

org.apache.archiva.redback : redback-keys-cached

Archiva is an application for managing one or more remote repositories, including administration, artifact handling, browsing and searching.

Last Version: 2.6.2

Release Date:

Redback :: Key Management Provider :: JDO

org.apache.archiva.redback : redback-keys-jdo

Archiva is an application for managing one or more remote repositories, including administration, artifact handling, browsing and searching.

Last Version: 2.6.2

Release Date:

Redback :: Key Management Test Harness

org.apache.archiva.redback : redback-keys-tests

Archiva is an application for managing one or more remote repositories, including administration, artifact handling, browsing and searching.

Last Version: 2.6.2

Release Date:

Last Version: 0.5.0

Release Date:

Last Version: 3.5.1.Final

Release Date:

spals-appbuilder-keystore-core

net.spals.appbuilder : spals-appbuilder-keystore-core

AppBuilder is a library to help easily create application micro-services in Java and Scala.

Last Version: 0.6.5

Release Date:

ext.bundle.opengl.jmonkey - OSGi - JME3 wrapper

org.cogchar : ext.bundle.opengl.jmonkey

OSGi bundle wrapper of the jMonkeyEngine-3 + LWJGL + Bullet + other gaming+opengl jars.

Last Version: 1.1.4

Release Date:

Semantic Turkey CORE Framework

it.uniroma2.art.semanticturkey : st-core-framework

Semantic Turkey main project. It contains the core business logic of the system.

Last Version: 11.1

Release Date:

Microsoft Azure SDK for Key Vault Core

com.microsoft.azure : azure-keyvault-core

This library has been replaced by new Azure SDKs, you can read about them at https://aka.ms/azsdkvalueprop. The latest libraries to interact with the Azure Key Vault service are: (1) https://search.maven.org/artifact/com.azure/azure-security-keyvault-keys. (2) https://search.maven.org/artifact/com.azure/azure-security-keyvault-secrets. (3) https://search.maven.org/artifact/com.azure/azure-security-keyvault-certificates. It is recommended that you move to the new package.

Last Version: 1.2.6

Release Date:

WSO2 Carbon - APP Key Mgt

org.wso2.carbon.appmgt : org.wso2.carbon.appmgt.keymgt

Key Management functionality for API Mgt/Store solution

Last Version: 1.0.1

Release Date:

Last Version: 1.0.1

Release Date:

Last Version: 0.3.3

Release Date:

Last Version: 0.3.3

Release Date:

WSO2 Carbon - APP Key Mgt Client

org.wso2.carbon.appmgt : org.wso2.carbon.appmgt.keymgt.client

Key Management Client functionality for API Mgt/Store solution

Last Version: 1.0.1

Release Date:

ssh-key

org.cloudhoist : ssh-key

Pallet - parent pom

Last Version: 0.6.0

Release Date:

Last Version: 1.0.1

Release Date:

Last Version: 1.0.1

Release Date:

logisland-cache_key_value-service-api

com.hurence.logisland : logisland-cache_key_value-service-api

LogIsland is an event mining platform based on Kafka to handle a huge amount of data in realtime.

Last Version: 0.14.0

Release Date:

Blazebit Weblink Modules Authentication Keycloak

com.blazebit : blaze-weblink-modules-authentication-keycloak

Extendible service for providing access to resources via custom managable links

Last Version: 0.2.1

Release Date:

Blazebit Weblink Client Keycloak

com.blazebit : blaze-weblink-client-keycloak

Extendible service for providing access to resources via custom managable links

Last Version: 0.2.1

Release Date:

Last Version: 1.0.40

Release Date:

Last Version: 1.0.40

Release Date:

Key Manager Backend module

org.wso2.carbon.apimgt : org.wso2.carbon.apimgt.keymanager

WSO2 is an open source application development software company focused on providing service-oriented architecture solutions for professional developers.

Last Version: 7.0.36

Release Date:

TwelveMonkeys :: ImageIO :: Core

com.github.lafa.twelvemonkeyspurejava.imageio : imageio-core

Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/

Last Version: 1.0.1

Release Date: