Formal Verification

cas-server-support-yubikey-core-mfa

org.apereo.cas : cas-server-support-yubikey-core-mfa

Последняя версия: 6.6.0-RC4

Дата: 17 июн. 2022 г.

JKeyLockManager

de.jkeylockmanager : jkeylockmanager

JKeyLockManager allows fine-grained locking with application specific keys.

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

Дата: 20 февр. 2016 г.

jme-awt

com.projectdarkstar.ext.com.jmonkeyengine : jme-awt

Последняя версия: 2.0-S1

Дата: 20 мая 2010 г.

com.networknt

chaos-monkey

com.networknt : chaos-monkey

Light 4J Chaos Monkey Handlers

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

Дата: 27 апр. 2022 г.

com.keypoint.PngEncoder

com.keypoint : png-encoder

com.keypoint.PngEncoder - a Java class to convert Image objects to PNG byte arrays

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

Дата: 8 апр. 2006 г.

org.mazarineblue

MazarineBlue - KeywordDriven module

org.mazarineblue : MazarineBlue-KeywordDriven

The KeywordDriven module houses the interpreter and thus forms the core, the hart, the engine of MazarineBlue. The instructions and data are fetched though the DataSource interface. And intercommunication between modules is made posible by the EventBus module.

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

Дата: 3 сент. 2015 г.

I2

city.smartb.i2 : keycloak-auth-domain-jvm

Identity and Authentication functions

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

Дата: 24 июн. 2022 г.

net.consensys.quorum.tessera

key-vault-api

net.consensys.quorum.tessera : key-vault-api

Tessera is a stateless Java system that is used to enable the encryption, decryption, and distribution of private transactions for Quorum.

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

Дата: 1 июн. 2022 г.

jme-gamestates

com.projectdarkstar.ext.com.jmonkeyengine : jme-gamestates

Последняя версия: 2.0-S1

Дата: 20 мая 2010 г.

jme-audio

com.projectdarkstar.ext.com.jmonkeyengine : jme-audio

Последняя версия: 2.0-S1

Дата: 20 мая 2010 г.

jme-model

com.projectdarkstar.ext.com.jmonkeyengine : jme-model

Последняя версия: 2.0-S1

Дата: 20 мая 2010 г.

keywords-Shift

com.thoughtworks.dsl : keywords-shift_sjs1_3

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата: 21 мая 2022 г.

jme-xml

com.projectdarkstar.ext.com.jmonkeyengine : jme-xml

Последняя версия: 2.0-S1

Дата: 20 мая 2010 г.

jme-editors

com.projectdarkstar.ext.com.jmonkeyengine : jme-editors

Последняя версия: 2.0-S1

Дата: 20 мая 2010 г.

jme-effects

com.projectdarkstar.ext.com.jmonkeyengine : jme-effects

Последняя версия: 2.0-S1

Дата: 20 мая 2010 г.

com.thoughtworks.dsl

keywords-Shift

com.thoughtworks.dsl : keywords-shift_sjs0.6_2.12

Последняя версия: 2.0.0-M0+1-b691cde8

Дата: 25 нояб. 2021 г.

jme-collada

com.projectdarkstar.ext.com.jmonkeyengine : jme-collada

Последняя версия: 2.0-S1

Дата: 20 мая 2010 г.

com.thoughtworks.dsl

keywords-Shift

com.thoughtworks.dsl : keywords-shift_2.13

Последняя версия: 2.0.0-M0+1-b691cde8

Дата: 25 нояб. 2021 г.

PEM Key Store Provider

de.dentrassi.crypto : pem-keystore

Provides a PEM based KeyStore

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

Дата: 3 мая 2022 г.

com.thoughtworks.dsl

keywords-Shift

com.thoughtworks.dsl : keywords-shift_2.13.0-M4

Последняя версия: 1.3.1+10-84868c21

Дата: 11 июн. 2019 г.

org.webjars.npm

prosemirror-keymap

org.webjars.npm : prosemirror-keymap

WebJar for prosemirror-keymap

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

Дата: 27 нояб. 2021 г.

com.thoughtworks.dsl

keywords-Catch

com.thoughtworks.dsl : keywords-catch_2.12

Последняя версия: 2.0.0-M0+1-b691cde8

Дата: 25 нояб. 2021 г.

org.eclipse.keyple

Keyple Core

org.eclipse.keyple : keyple-java-core

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

Дата: 17 дек. 2020 г.

cas-server-support-yubikey-core

org.apereo.cas : cas-server-support-yubikey-core

Последняя версия: 6.6.0-RC4

Дата: 17 июн. 2022 г.

org.hawkular.accounts

Hawkular - Accounts - Keycloak Event Listener JMS

org.hawkular.accounts : hawkular-accounts-keycloak-event-listener-jms

Event listeners for Keycloak events publishing to Hawkular via JMS.

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

Дата: 15 июл. 2016 г.

Uberfire Security Management - Provider Implementation for KeyCloak

org.uberfire : uberfire-security-management-keycloak

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

Дата: 8 июн. 2022 г.

ihmc-graphics-jmonkeyengine

us.ihmc : ihmc-graphics-jmonkeyengine

IHMC Graphics

Последняя версия: 0.13.0-210804-2

Дата: 4 авг. 2021 г.

keywords-FlatMap

com.thoughtworks.dsl : keywords-flatmap_sjs1_3

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата: 21 мая 2022 г.

Camunda Platform 7 - engine plugins - identity - keycloak - extension

org.camunda.bpm.extension : camunda-platform-7-keycloak

A Camunda 7 Identity Provider Plugin for Keycloak

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

Дата: 20 мая 2022 г.

TrueVFS KeyManager Swing

net.java.truevfs : truevfs-key-swing

Prompts the user for passwords via a Swing based dialog, if available.

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

Дата: 20 сент. 2012 г.

keywords-Return

com.thoughtworks.dsl : keywords-return_3

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата: 21 мая 2022 г.

org.webjars.npm

eslint-visitor-keys

org.webjars.npm : eslint-visitor-keys

WebJar for eslint-visitor-keys

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

Дата: 24 февр. 2022 г.

com.oracle.oci.sdk

Oracle Cloud Infrastructure SDK - Key Management

com.oracle.oci.sdk : oci-java-sdk-keymanagement

This project contains the SDK used for Oracle Cloud Infrastructure Key Management

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

Дата: 21 июн. 2022 г.

Keytool: API (jdk 1.5)

org.codehaus.mojo : keytool-api-1.5

A component to assist in using keytool application

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

Дата: 3 мая 2014 г.

keycode

org.webjars.npm : keycode

WebJar for keycode

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

Дата: 29 янв. 2022 г.

sshkey-clientauth

net.adamcin.sshkey : sshkey-clientauth

Library providing HTTP client authentication handlers

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

Дата: 6 дек. 2013 г.

sshkey-bouncycastle

net.adamcin.sshkey : sshkey-bouncycastle

Library providing helper functions using the BouncyCastle library for decrypting keys

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

Дата: 6 дек. 2013 г.

jme-swt

com.projectdarkstar.ext.com.jmonkeyengine : jme-swt

Последняя версия: 2.0-S1

Дата: 20 мая 2010 г.

org.apache.servicecomb

Java Chassis::Handlers::PublicKey Auth

org.apache.servicecomb : handler-publickey-auth

Java Chassis Parent

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

Дата: 24 июн. 2022 г.

com.thoughtworks.dsl

keywords-Catch

com.thoughtworks.dsl : keywords-catch_2.11

Последняя версия: 2.0.0-M0+1-b691cde8

Дата: 25 нояб. 2021 г.

sshkey-jsch

net.adamcin.sshkey : sshkey-jsch

Library providing a Jsch-based implementation of the SSHKey API

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

Дата: 6 дек. 2013 г.

Keytool: Maven Plugin

org.codehaus.mojo : keytool-maven-plugin

A plugin that wraps the keytool program bundled with Sun's Java SDK. Allows to manipulate keystores.

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

Дата: 4 мая 2022 г.

org.hawkular.accounts

Hawkular - Accounts - Keycloak Event Listener REST

org.hawkular.accounts : hawkular-accounts-keycloak-event-listener-rest

Event listeners for Keycloak events publishing to Hawkular via REST

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

Дата: 15 июл. 2016 г.

org.jboss.resteasy

RESTEasy Security: Skeleton Key Core

org.jboss.resteasy : skeleton-key-core

Последняя версия: 4.0.0.Beta4

Дата: 28 июн. 2018 г.

Camel Quarkus :: SnakeYAML :: Runtime

org.apache.camel.quarkus : camel-quarkus-snakeyaml

Maven plugins configuration

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

Дата: 17 июн. 2022 г.

keywords-FlatMap

com.thoughtworks.dsl : keywords-flatmap_3

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата: 21 мая 2022 г.

Keytool: API (jdk 1.6)

org.codehaus.mojo : keytool-api-1.6

A component to assist in using keytool application

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

Дата: 3 мая 2014 г.

com.thoughtworks.dsl

keywords-Shift

com.thoughtworks.dsl : keywords-shift_sjs1_2.12

Последняя версия: 2.0.0-M0+1-b691cde8

Дата: 25 нояб. 2021 г.

org.keycloak

Keycloak Model Sessions JPA

org.keycloak : keycloak-model-sessions-jpa

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

Дата: 28 июл. 2015 г.

de.adorsys.ledgers

keycloak-client

de.adorsys.ledgers : keycloak-client

OpenSource Implementation Of Accounting Functionalities

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

Дата: 6 дек. 2021 г.