Skip to main content
PRL Project

Unguessable Atoms: A Logical Foundation for Security

by Mark Bickford

  • unofficial copies PDF PS

See listing of this paper presented in 2008 at Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments

We propose a new foundation for security based on a logical concept of protected information that can be enforced in the mathematical structure of a computation system. We describe a computation system based on event structures and a logic of events, and we show how to model all limitations on the capabilities of adversaries using a theory of atoms.

bibTex ref: Bic06

cite link