Formal Verification

rankey

cc.rankey : rankey

rankey project, some code is useful.

Последняя версия: 0.1.2.RELEASE

Дата:

mobile-key-assaabloy-iris

net.iris : mobile-key-assaabloy-iris

iRiS Integration Library - Mobile key AssaAbloy implementation

Последняя версия: 5.7.0.rc06

Дата:

KeyMG Core

org.keymg : keymg-web

KeyMG Web contains the web integration code

Последняя версия: 1.0.CR1

Дата:

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

Дата:

Spring Cloud Config Server Sample

io.github.srempfer : spring-cloud-config-azure-keyvault-multiple-backends-sample

Spring Cloud Config Server application to demonstrate the usage of the Azure KeyVault features

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

Дата:

Последняя версия: 2.0.0-M2+128-447d383d

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

RsaApiKeyValidator

io.toxicity : rsa-api-key-validator-iosarm64

RSA API Key validator for Mobile Clients

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

Дата:

Microsoft Azure Key Vault SDK Complete

com.microsoft.azure : azure-keyvault-complete

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 KeyVault service are:${line.separator} 1. https://search.maven.org/artifact/com.azure/azure-security-keyvault-keys${line.separator} 2. https://search.maven.org/artifact/com.azure/azure-security-keyvault-secrets${line.separator} 3. https://search.maven.org/artifact/com.azure/azure-security-keyvault-certificates${line.separator} It is recommended that you move to the new package.

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

Дата:

chaos-monkey-demo-app-ext-jar

de.codecentric : chaos-monkey-demo-app-ext-jar

Chaos Monkey for Spring Boot demo app with external jar of CM4SB

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

Дата:

KeyCloak Key Manager Feature

org.wso2.km.ext.keycloak : keycloak.key.manager.feature

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

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

Дата:

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

Дата:

TwelveMonkeys :: BOM

com.twelvemonkeys.bom : bom

TwelveMonkeys "Bill of Materials" (BOM).

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

Дата:

Client implementation to integrate with Keycloak Authorization Server

org.wso2.km.ext.keycloak : apim-keymanager-keycloak

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

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

Дата:

mobile-key-salto

net.iris : mobile-key-salto

iRiS Guest Mobile Key Salto implementation

Последняя версия: 5.7.0.rc11

Дата:

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

Дата:

Последняя версия: 0.1.1+13-1804a156

Дата:

key-vault-config-source

com.microsoft.sandbox.microprofile.config.keyvault : keyvault-config-source

A library for connecting MicroProfile-based apps to Azure Key Vault for retrieving configuration data.

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

Дата:

spring-security-test-keycloack-addons

com.c4-soft.springaddons : spring-security-test-keycloack-addons

Parent pom providing dependency and plugin management for applications built with Maven

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

Дата:

epubwriter

net.seeseekey : epubwriter

Library to write EPUB files in version 3.

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

Дата:

fx-onscreen-keyboard-swing

org.comtel2000 : fx-onscreen-keyboard-swing

JavaFX on-screen keyboard Swing support module.

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

Дата:

Gradle HockeyApp Plugin

com.github.3mph4515 : gradle-hockeyapp-plugin

A Gradle plugin for uploading iOS and Android Apps to HockeyApp.

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

Дата:

pax-keycloak-features

org.ops4j.pax.keycloak : pax-keycloak-features

Maven parent POM for all OPS4J Maven projects.

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

Дата:

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

Дата:

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

Дата:

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

Дата:

st-zthes-deserializing-lifter

it.uniroma2.art.semanticturkey : st-zthes-deserializing-lifter

Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)

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

Дата:

afirma-keystores-capiaddressbook

es.gob.afirma : afirma-keystores-capiaddressbook

Modulo el acceso al almacen de certificados de terceros (Libreta de direcciones) de Windows

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

Дата:

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

Дата:

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

Дата:

Cacophony SpringBoot Starter

io.github.key-del-jeeinho : cacophony-spring-boot-starter

This project is a starter module that helps you use the cacopony library easily in a spring boot environment.

Последняя версия: 1.1.1-RELEASE

Дата:

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

Дата:

Последняя версия: 1.0-rc-1

Дата:

Acosix Alfresco Keycloak - Repository Module

de.acosix.alfresco.keycloak : de.acosix.alfresco.keycloak.repo

Addon to provide Keycloak-related customisations / extensions to out-of-the-box Alfresco authentication and authorisation functionality

Последняя версия: 1.1.0-rc7

Дата:

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

Дата:

st-lov-connector

it.uniroma2.art.semanticturkey : st-lov-connector

Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)

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

Дата:

Последняя версия: 2.0.0-M1

Дата:

Reactor AWS Client

com.github.tddmonkey : reactor-aws-dynamodb

Spring Reactor Wrapper around AWS Client

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

Дата:

omtd-uc-ss-keywords

eu.openminted.uc.socialsciences : omtd-uc-ss-keywords

This software package contains components for text mining in scientific publications.

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

Дата:

st-delete-property-value-rdf-transformer

it.uniroma2.art.semanticturkey : st-delete-property-value-rdf-transformer

Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)

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

Дата:

com.syntifi.crypto:crypto-keys

com.syntifi.crypto : crypto-keys

Crypto libraries for working with Public and Private Keys cryptography.

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

Дата:

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

Дата:

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

Дата:

Semantic Turkey Console

it.uniroma2.art.semanticturkey : st-console

Karaf's custom console for Semantic Turkey

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

Дата:

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

Дата: