@dblp

Intruder deduction for the equational theory of Abelian groups with distributive encryption.

, , and . Inf. Comput., 205 (4): 581-623 (2007)

Links and resources

Tags