cryptographic
Cryptographic Verification of Test Coverage Claims
White Paper In this paper, we explore cryptographic techniques that can be used to verify such claims. The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply... [24 Feb 2004]
Cryptographic System Enhancements for the IBM System z9
White Paper IBM has offered hardware-based cryptographic processors for its mainframe computers for nearly thirty years. This paper describes enhancements to the System z9 to configure and control cryptographic features. [06 Mar 2007]
Cryptographic Security for a High-Performance Distributed File System
White Paper Cryptographic file systems mitigate the danger of exposing data by using encryption and integrity protection methods and guarantee end-to-end security for their clients. This paper describes a generic design for cryptographic file systems and its... [19 Jul 2007]
Cryptography in a Hole - Cryptographic Service Providers
White Paper "Plug-able cryptography" or "cryptography in a hole" is a concept that has gained considerable interest as it allows applications to be independent of particular cryptographic implementations. Furthermore, such applications are prepared for future... [03 Jul 2008]
Cryptographic File System for Unix
White Paper Encryption techniques for file system-level encryption are described, and general issues of cryptographic system interfaces to support routine secure computing are discussed. This paper describes the design and implementation of CFS under Unix. [24 Feb 2004]
Security Implications of Hardware vs. Software Cryptographic Modules
White Paper This white paper discusses the weaknesses that are inherent to software-based cryptographic modules in relation to cryptographic modules that are hardwarebased. Each one of the following sections focuses on one security aspect in which hardware and... [03 Jul 2008]
A Cryptographic Checksum for Integrity Protection
White Paper This paper describes a cryptographic checksum technique for verifying the integrity of information in computer systems with no built-in protection. The technique is based on the use of repeated encryption using an RSA cryptosystem as a pseudo... [08 Mar 2004]
The Design and Verification of a Cryptographic Security Architecture
White Paper Layered over the kernel are various objects which abstract core functionality such as encryption and digital signature capabilities, certificate management, and secure sessions and data enveloping (email encryption) in a manner which allows them... [24 Feb 2004]
The CryptoGraphic Disk Driver
White Paper This paper presents the design and implementation of CGD, the CryptoGraphic Disk driver. CGD is a pseudo-device driver that sits below the buffer cache, and provides an encrypted view of an underlying raw partition. [23 Aug 2007]
Symmetric Authentication Within a Simulatable Cryptographic Library
White Paper Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs are independent of cryptographic details. The typical abstraction is the Dolev-Yao model, which treats cryptographic... [31 Aug 2007]
Performance Analysis of Cryptographic Protocols on Handheld Devices
White Paper Most studies indicate that it is impossible to utilize strong cryptographic functions for implementing security protocols on handheld devices. The past few years have witnessed an explosive growth in the use of wireless mobile handheld devices as... [24 May 2006]
Anti-Disassembly Using Cryptographic Hash Functions
White Paper This paper presents a new method of anti-disassembly based on cryptographic hash functions which is portable, hard to analyze, and can be used to target particular computers or users. Computer viruses sometimes employ coding techniques intended to... [08 Jun 2006]
Smart Card Minidriver Specification for Windows Base Cryptographic Service Provider (Base CSP) and Smart Card Key Storage Provider (KSP): Version 5.05
White Paper Vendors can write card minidrivers to present a consistent interface to their smart card type to the Microsoft Smart Card Base Cryptographic Service Provider (CSP) or Crypto Next Generation (CNP) Key Storage Provider (KSP) and to the Smart Card... [16 Nov 2006]
Reasoning about Accountabilities in Cryptographic Protocols for E-Commerce Using a Generic Belief Logic
White Paper This paper presents a generic belief logic and demonstrates how it can be used to reason about accountability in cryptographic protocols for electronic commerce. We then describe our belief logic and present an axiomatisation system for analysing... [03 Jul 2008]
ABN AMRO Delivers Cryptographic Services Using Baltimore
White Paper When the bank launched an initiative to enhance its global security infrastructure, one of the core objectives was to deliver cryptographic services to anyone, on any application and on any platform around the world in a common and consistent manner. [03 Jul 2008]
