CASPA_

swMATH4078MaRDI QIDQ16265FDOQ16265

Author name not available (Why is that?)

Official website: http://www.infsec.cs.uni-saarland.de/caspa/home.htm

Cited In (3)

• OFMC
• Cryptyc
• Automated type-based analysis of injective agreement in the presence of compromised principals

This page was built for software: CASPA_