Modeling Computational Security in Long-Lived Systems.

Published in: Theoretical Foundations of Practical Information Security (2008)