Microsoft Download Center Archive

Distributed Key-Manager Verification

  • Published:
  • Version: 1.2.0
  • Category: other
  • Language: English

This package contains the F# and F7 source files to aid in the verification of a distributed key-management system. Last published: December 2, 2010.

This package contains the F# and F7 source files to aid in the verification of a distributed key-management system. This new component implements a data-protection API for groups of clients. To enable long-term data protection, it supports cryptographic agility so cryptography algorithms and policies can evolve for protecting fresh data while preserving access to old data. To verify the security of our design and production code, written in C#, we write a reference implementation in F#. Formally, we verify our F# code against a logical cryptographic model using F7, a refinement type checker coupled with a model checker. Experimentally, we test that the corresponding C# and F# code fragments are interchangeable.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

  • Windows 7, Windows 8, or Windows 10

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
Report a problem