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: Nov 5, 2019

spring-keycloak

org.teiid : spring-keycloak

Secure OData, and Teiid pg/JDBC with Keycloak

Last Version: 1.7.2

Release Date: Jun 23, 2021

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: May 5, 2022

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: Jun 20, 2022

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: Nov 5, 2019

TwelveMonkeys :: ImageIO :: Metadata

com.twelvemonkeys.imageio : imageio-metadata

ImageIO metadata module.

Last Version: 3.8.2

Release Date: Feb 22, 2022

Keycloak CLI SSO Framework

org.keycloak : kcinit

Keycloak SSO

Last Version: 15.1.1

Release Date: Dec 17, 2021

jMonkeyEngine

org.jmonkeyengine : jme3-core

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

Last Version: 3.5.2-stable

Release Date: Apr 21, 2022

Redback :: Key Management API

org.codehaus.plexus.redback : redback-keys-api

Last Version: 1.0.3

Release Date: Aug 6, 2008

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: May 5, 2022

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: May 5, 2022

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: May 5, 2022

Plexus Security :: Key Management API

org.codehaus.plexus.security : plexus-security-keys-api

Last Version: 1.0-alpha-11

Release Date: Mar 26, 2007

Keycloak EAP 6 Server Subsystem

org.keycloak : keycloak-eap6-server-subsystem

Last Version: 1.8.1.Final

Release Date: Feb 4, 2016

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: May 5, 2022

Keycloak Truststore

org.keycloak : keycloak-connections-truststore

Last Version: 1.8.1.Final

Release Date: Feb 4, 2016

Keycloak Social Microsoft Live ID

org.keycloak : keycloak-social-microsoft

Last Version: 1.8.1.Final

Release Date: Feb 4, 2016

Redback :: Key Management Provider :: Cached

org.codehaus.plexus.redback : redback-keys-cached

Last Version: 1.0.3

Release Date: Aug 6, 2008

Redback :: Key Management Provider :: JDO

org.codehaus.plexus.redback : redback-keys-jdo

Last Version: 1.0.3

Release Date: Aug 6, 2008

Redback :: Authentication Provider :: Keys

org.codehaus.plexus.redback : redback-authentication-keys

Last Version: 1.0.3

Release Date: Aug 6, 2008

handler-publickey-auth

io.servicecomb : handler-publickey-auth

Java Chassis Parent

Last Version: 0.5.0

Release Date: Dec 5, 2017

Redback :: Key Management Test Harness

org.codehaus.plexus.redback : redback-keys-tests

Last Version: 1.0.3

Release Date: Aug 6, 2008

Redback :: Key Management Provider :: Memory

org.codehaus.plexus.redback : redback-keys-memory

Last Version: 1.0.3

Release Date: Aug 6, 2008

rewrite-config-tuckey

org.ocpsoft.rewrite : rewrite-config-tuckey

OCPsoft Parent POM

Last Version: 3.5.1.Final

Release Date: Sep 8, 2021

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: Jan 7, 2019

Plexus Security :: Key Management JDO Store

org.codehaus.plexus.security : plexus-security-keys-jdo

Last Version: 1.0-alpha-11

Release Date: Mar 26, 2007

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: Nov 5, 2016

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: Jun 23, 2022

Plexus Security :: Authentication Provider :: Keystore

org.codehaus.plexus.security : plexus-security-authentication-provider-keystore

Last Version: 1.0-alpha-11

Release Date: Mar 26, 2007

Plexus Security :: Key Management Cached Store

org.codehaus.plexus.security : plexus-security-keys-cached

Last Version: 1.0-alpha-11

Release Date: Mar 26, 2007

Plexus Security :: Key Management Store Test Harness

org.codehaus.plexus.security : plexus-security-keys-test

Last Version: 1.0-alpha-11

Release Date: Mar 26, 2007

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: Jan 25, 2022

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: Dec 22, 2015

TwelveMonkeys :: Common :: Language support

com.github.lafa.twelvemonkeyspurejava.common : common-lang

The TwelveMonkeys Common Language support

Last Version: 1.0.1

Release Date: Jul 6, 2017

Plexus Security :: Key Management Memory Store

org.codehaus.plexus.security : plexus-security-keys-memory

Last Version: 1.0-alpha-11

Release Date: Mar 26, 2007

Blazebit Storage Modules Authentication Keycloak

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

Extendible storage abstraction for files

Last Version: 0.3.3

Release Date: Oct 13, 2020

Blazebit Storage Client Keycloak

com.blazebit : blaze-storage-client-keycloak

Extendible storage abstraction for files

Last Version: 0.3.3

Release Date: Oct 13, 2020

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: Dec 22, 2015

ssh-key

org.cloudhoist : ssh-key

Pallet - parent pom

Last Version: 0.6.0

Release Date: Sep 20, 2011

TwelveMonkeys :: Common :: IO

com.github.lafa.twelvemonkeyspurejava.common : common-io

The TwelveMonkeys Common IO support

Last Version: 1.0.1

Release Date: Jul 6, 2017

Keycloak Spring Security Integration

org.keycloak : keycloak-spring-security-adapter

Last Version: 18.0.2

Release Date: Jun 24, 2022

TwelveMonkeys :: Common :: Image

com.github.lafa.twelvemonkeyspurejava.common : common-image

The TwelveMonkeys Common Image support

Last Version: 1.0.1

Release Date: Jul 6, 2017

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: Jul 30, 2018

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: Jul 11, 2018

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: Jul 11, 2018

component-config-keyvalue-starter

com.lyloou : component-config-keyvalue-starter

Component Parent

Last Version: 1.0.40

Release Date: May 27, 2022

component-key-value-item-app

com.lyloou : component-key-value-item-app

Component Parent

Last Version: 1.0.40

Release Date: May 27, 2022

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: Jul 12, 2017

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: Jul 6, 2017

kpipes-function-view-materialize-keyvalue

net.kpipes : kpipes-function-view-materialize-keyvalue

KPipes

Last Version: 0.0.5

Release Date: Apr 20, 2017