A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Browse the full TACAS paper archive.