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.

Последняя версия: 0.0.6

Дата:

spring-keycloak

org.teiid : spring-keycloak

Secure OData, and Teiid pg/JDBC with Keycloak

Последняя версия: 1.7.2

Дата:

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.

Последняя версия: 2.6.2

Дата:

Spring Data KeyValue

org.springframework.data : spring-data-keyvalue

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

Последняя версия: 2.7.1

Дата:

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.

Последняя версия: 0.0.6

Дата:

Последняя версия: 3.8.2

Дата:

Последняя версия: 15.1.1

Дата:

jMonkeyEngine

org.jmonkeyengine : jme3-core

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

Последняя версия: 3.5.2-stable

Дата:

Последняя версия: 1.0.3

Дата:

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.

Последняя версия: 2.6.2

Дата:

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.

Последняя версия: 2.6.2

Дата:

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.

Последняя версия: 2.6.2

Дата:

Последняя версия: 1.8.1.Final

Дата:

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.

Последняя версия: 2.6.2

Дата:

Последняя версия: 1.8.1.Final

Дата:

Последняя версия: 1.8.1.Final

Дата:

Последняя версия: 1.0.3

Дата:

Последняя версия: 0.5.0

Дата:

Последняя версия: 1.0.3

Дата:

Последняя версия: 3.5.1.Final

Дата:

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.

Последняя версия: 0.6.5

Дата:

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.

Последняя версия: 1.1.4

Дата:

Semantic Turkey CORE Framework

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

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

Последняя версия: 11.1

Дата:

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.

Последняя версия: 1.2.6

Дата:

WSO2 Carbon - APP Key Mgt

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

Key Management functionality for API Mgt/Store solution

Последняя версия: 1.0.1

Дата:

Последняя версия: 1.0.1

Дата:

Последняя версия: 0.3.3

Дата:

Последняя версия: 0.3.3

Дата:

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

Последняя версия: 1.0.1

Дата:

ssh-key

org.cloudhoist : ssh-key

Pallet - parent pom

Последняя версия: 0.6.0

Дата:

Последняя версия: 1.0.1

Дата:

Последняя версия: 18.0.2

Дата:

Последняя версия: 1.0.1

Дата:

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.

Последняя версия: 0.14.0

Дата:

Blazebit Weblink Modules Authentication Keycloak

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

Extendible service for providing access to resources via custom managable links

Последняя версия: 0.2.1

Дата:

Blazebit Weblink Client Keycloak

com.blazebit : blaze-weblink-client-keycloak

Extendible service for providing access to resources via custom managable links

Последняя версия: 0.2.1

Дата:

Последняя версия: 1.0.40

Дата:

Последняя версия: 1.0.40

Дата:

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.

Последняя версия: 7.0.36

Дата:

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/

Последняя версия: 1.0.1

Дата:

Последняя версия: 0.0.5

Дата: