Recent advances in petri nets and concurrency

CEUR Workshop Proceeding

KryptoKnight Protocol Cookbook

This paper describes the complete and up-to-date KryptoKnight protocol family that has been designed and implemented over the last five years at the IBM Research Division. The emphasis is on the new optimized protocol building blocks (earlier versions thereof have been published) and the novel inter-domain protocols. Since KryptoKnight also serves as the foundation for the IBM Network Security Program (NetSP), this paper also reports on the design of the actual working protocols. The central goal of the KryptoKnight project was the construction of fundamental network security functions -- authentication and key distribution -- in a minimal, flexible and scalable manner. Protocol minimality (in terms of resource usage) and flexibility (adaptability to different network connectivity scenarios) are not merely theoretical goals; they have clear advantages in environments where computational resources are limited and connectivity is restricted. KryptoKnight was aimed at such environments: s..