Authentication in distributed systems: a bibliography
ACM SIGOPS Operating Systems Review
An approach to the formal verification of cryptographic protocols
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
Hi-index | 0.00 |