verify-service-provider - :crown: :ballot_box_with_check: The easiest way to connect to GOV

  •        6

GOV.UK Verify uses SAML (Security Assertion Markup Language) to securely exchange information about identities. A Relying Party can use Verify Service Provider to generate and translate SAML communication to and from the Verify Hub. You will need to host Verify Service Provider on your own infrastructure.

https://github.com/alphagov/verify-service-provider

Tags
Implementation
License
Platform

   




Related Projects

UI Automation Verify (UIA Verify) Test Automation Framework

  •    

UIA Verify is a test automation framework that features the User Interface Automation Test Library (UIA Test Library) and Visual UI Automation Verify (Visual UIA Verify), the graphical user interface tool. The framework facilitates manual and automated testing of the Microsoft...

DotNetNuke Dummy Caching Provider

  •    

This caching provider allows you to verify that your module code suits the “out-of-process” caching requirements of cache systems like Windows Azure Caching

Crystal Reports Location Setter

  •    

Lightweight utility to change connection information on one or more Crystal Reports. Crystal Reports Location Setter can also perform the "Verify database" operation on one or more reports. Reports are saved in CR 10.5 format

cloudprober - An active monitoring software to detect failures before your customers do.

  •    Go

Cloudprober is a monitoring software that makes it super-easy to monitor availability and performance of various components of your system. Cloudprober employs the "active" monitoring model. It runs probes against (or on) your components to verify that they are working as expected. For example, it can run a probe to verify that your frontends can reach your backends. Similarly it can run a probe to verify that your in-Cloud VMs can actually reach your on-premise systems. This kind of monitoring makes it possible to monitor your systems' interfaces regardless of the implementation and helps you quickly pin down what's broken in your system.Visit Cloudprober's website at cloudprober.github.io to get started with Cloudprober.

GPG Suite - Everything you need to get started with secure communication and encrypting files in one simple package

  •    C

Use GPG Suite to encrypt, decrypt, sign and verify files or messages. Manage your GPG Keychain with a few simple clicks and experience the full power of GPG easier than ever before.


dropwizard - A damn simple library for building production-ready RESTful web services.

  •    Java

Dropwizard is a Java framework for developing ops-friendly, high-performance, RESTful web services. It pulls together stable, mature libraries from the Java ecosystem into a simple, light-weight package that lets you focus on getting things done.

"Background Transfer Service Sample" From WP7 Sample

  •    

This project is an extension to existing Windows Phone7 sample available from MS sight ("Background Transfer Service Sample"). This project extends functionality to display the background downloaded item to verify download conten.

Command-line File Verify

  •    Python

cfv is a utility to both test and create .sfv(Simple File Verify), .csv, .crc, md5sum, bsd md5, sha1sum, and .torrent files. cfv also includes test-only .par and .par2 support. These are commonly used to ensure the correct retrieval or storage of data

SLAyer - SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs

  •    OCaml

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.SLAyer is licensed under the MIT licence included in the LICENSE file.

LayoutTest-iOS - Write unit tests which test the layout of a view in multiple configurations

  •    Objective-C

This library enables you to write unit tests which test the layout of a view in multiple configurations. It tests the view with different data combinations and different view sizes. The library works in both Objective-C and Swift.In just one test, your view will be laid out multiple times with different data. You can then run test assertions on these views to verify that the layout and view content is correct. Also, the library will run a few tests automatically such as checking for Autolayout errors, missing accessibility, and overlapping views. Finally, the library makes it easy to test each view with different sizes so you can verify the view will work on different devices.

Jepsen - A framework for distributed systems verification, with fault injection

  •    Clojure

Jepsen is a Clojure library. A test is a Clojure program which uses the Jepsen library to set up a distributed system, run a bunch of operations against that system, and verify that the history of those operations makes sense. Jepsen has been used to verify everything from eventually-consistent commutative databases to linearizable coordination systems to distributed task schedulers. It can also generate graphs of performance and availability, helping you characterize how a system responds to different faults.

end-to-end - End-To-End is a crypto library to encrypt, decrypt, digital sign, and verify signed messages (implementing OpenPGP and OTR)

  •    Javascript

End-To-End is a crypto library to encrypt, decrypt, digital sign, and verify signed messages (implementing OpenPGP and OTR).This is the source code for the End-To-End library. It's built upon a newly developed, JavaScript-based crypto library. End-To-End implements the OpenPGP standard, IETF RFC 4880, enabling key generation, encryption, decryption, digital signature, and signature verification.

minisign - A dead simple tool to sign files and verify digital signatures.

  •    C

Minisign is a dead simple tool to sign files and verify signatures. Minisign uses the EdDSA signature system, and deterministic signature schemes are fragile against fault attacks. However, conducting these requires physical access or the attacker having access to the same physical host.

opmsg - opmsg message encryption

  •    C++

opmsg is a replacement for gpg which can encrypt/sign/verify your mails or create/verify detached signatures of local files. Even though the opmsg output looks similar, the concept is entirely different. opmsg builds fine with any of the OpenSSL, LibreSSL and BoringSSL libcrypto libraries. Building against BoringSSL is not recommended due to missing blowfish and ripemd algorithms.

Associate-Android-Developer-Certification - All the info and materials about the certification that I've collected so far

  •    

All the info and material about the certification that I've collected so far. Writing tests to verify that the application's logic and user interface are performing as expected, and executing those tests using the developer tools. Candidates should be able to analyze application crashes, and find common bugs such as layout errors and memory leaks. This includes working with the debuggers to step through application code and verify expected behavior.

awesome_bot - :white_check_mark: Validate links in awesome projects

  •    Ruby

awesome_bot checks for valid URLs in a file, it can be used to verify pull requests updating a README. You can check multiple files (comma separated or * pattern, look below for details).

pact-ruby - Enables consumer driven contract testing, providing a mock service and DSL for the consumer project, and interaction playback and verification for the service provider project

  •    Ruby

Define a pact between service consumers and providers, enabling "consumer driven contract" testing. Pact provides a fluent API for service consumers to define the HTTP requests they will make to a service provider and the HTTP responses they expect back. These expectations are used in the consumer specs to provide a mock service provider. The interactions are recorded, and played back in the service provider specs to ensure the service provider actually does provide the response the consumer expects.

coyim - coyim - a safe and secure chat client

  •    Go

CoyIM is a new client for the XMPP protocol. It is built upon https://github.com/agl/xmpp-client and https://github.com/coyim/otr3. It adds a graphical user interface and implies safe and secure options by default. Our ambition is that it should be possible for even the most high-risk people on the planet to safely use CoyIM, without having to make any configuration changes. To do this, CoyIM has OTR enabled and uses Tor by default. Besides that, it will only use the Tor Onion Service for a known server and also uses TLS and TLS certificates to verify the connection - no configuration required. The implementation is written in the Go language, to avoid many common types of vulnerabilities that come from using unsafe languages.

dropwizard-guice - Adds support for Guice to Dropwizard

  •    Java

Simple library for using Guice DI in a dropwizard service.

smart-home-nodejs - A sample of the Smart Home device control APIs in Actions on Google

  •    HTML

This sample contains a fully functioning example of a Smart Home provider cloud service designed to work with Actions on Google. This can be used with a Actions Console project to create an Action interface to your IoT devices. This sample includes everything you need to get started, including a mocked user authentication service with sample users and a user web portal to demonstrate the user experience when controlling their lights with your action. An example of a Smart Home IoT cloud engine is stored in smart-home-provider. This consists of both the main smart-home-provider-cloud.js main web service, as well as the web portal used to interact with virtual devices in frontend/. smart-home-provider-cloud.js is the entry point to the Node.js Express app that runs the IoT cloud service, and handles authentication, and ultimately handles requests from the Google Assistant.