Just Fast Keying in the Pi Calculus

ACM Transactions on Information and System Security - United States
doi 10.1145/1266977.1266978
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)