Algebraic intruder deductions (2005)

by David Basin , Sebastian Mödersheim , Luca Viganò
Venue:In Proceedings of LPAR’05, LNAI 3835
Citations:23 - 4 self