Looking for diamonds in the desert – extending automatic protocol generation to three-party authentication and key agreement protocols

by Adrian Perrig , Dawn Song
Venue:In PCSFW: Proceedings of The 13th Computer Security Foundations Workshop. IEEE Computer
Citations:34 - 0 self