Research
Bibliography
Cryptyc
Temporal Aspects
Full Abstraction Factory
Alan Jeffrey Alcatel-Lucent Bell Labs Security Technology Research Department 2701 Lucent Lane, Room 9F-534 Lisle, IL 60532, USA